Re: [isabelle] logic programming






I'm starting a project to formalize some aspects of a mini-Prolog, and was wondering if there has been any work done on formalizing logic programming, besides the unification algorithm.
Sean

You may also be interested in some (old) work by Mathieu Jaume
http://www-spi.lip6.fr/~jaume/

/A full formalisation of SLD resolution in the calculus of inductive
constructions <http://www-spi.lip6.fr/%7Ejaume/abstractjar.html>/,
Journal of Automated Reasoning, 23 (3-4):347-371,1999.



Best,

AM





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.