Re: [isabelle] logic programming
I'm starting a project to formalize some aspects of a mini-Prolog,
wondering if there has been any work done on formalizing logic
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
Journal of Automated Reasoning, 23 (3-4):347-371,1999.
This archive was generated by a fusion of
Pipermail (Mailman edition) and