*To*: Sean McLaughlin <seanmcl at cmu.edu>*Subject*: Re: [isabelle] logic programming*From*: Tobias Nipkow <nipkow at in.tum.de>*Date*: Thu, 26 Oct 2006 17:36:42 +0200*Cc*: isabelle-users at cl.cam.ac.uk*In-reply-to*: <F24244DF-2818-4DC0-9C44-D9BECA4E29BD@cmu.edu>*References*: <F24244DF-2818-4DC0-9C44-D9BECA4E29BD@cmu.edu>*User-agent*: Thunderbird 1.5.0.2 (Macintosh/20060308)

This could be of interest:

Tobias Sean McLaughlin schrieb:

Hello,I'm starting a project to formalize some aspects of a mini-Prolog, andwaswondering if there has been any work done on formalizing logic programming,besides the unification algorithm. I found one paper from TPHOL '01,but mylibrary doesn't have that edition: Refinement Calculus for Logic Programming in Isabelle/HOL, by Heymer, et. al. Thanks, Sean

**Follow-Ups**:**Re: [isabelle] logic programming***From:*Alberto Momigliano

**References**:**[isabelle] logic programming***From:*Sean McLaughlin

- Previous by Date: Re: [isabelle] Getting Isabelle Running with Xemacs
- Next by Date: [isabelle] efficiency
- Previous by Thread: [isabelle] logic programming
- Next by Thread: Re: [isabelle] logic programming
- Cl-isabelle-users October 2006 archives indexes sorted by: [ thread ] [ subject ] [ author ] [ date ]
- Cl-isabelle-users list archive Table of Contents
- More information about the Cl-isabelle-users mailing list