[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. I found one paper from TPHOL '01, but my
library doesn't have that edition:

Refinement Calculus for Logic Programming in Isabelle/HOL, by
Heymer, et. al.



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