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.

You may also be interested in some (old) work by Mathieu Jaume

/A full formalisation of SLD resolution in the calculus of inductive
constructions <>/,
Journal of Automated Reasoning, 23 (3-4):347-371,1999.



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