coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Sean McLaughlin <seanmcl AT cmu.edu>
- To: coq-club AT pauillac.inria.fr
- Subject: [Coq-Club]logic programming
- Date: Wed, 25 Oct 2006 10:27:01 -0400
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Hello,
I'm starting a project to formalize some aspects of a mini-Prolog language, and
was wondering if anything has been done towards formalizing logic programming
in Coq. I'm planning to use the unification code contributed by Rouyer, but
besides that I couldn't find anything.
Thanks,
Sean
- [Coq-Club]logic programming, Sean McLaughlin
- Re: [Coq-Club]logic programming, Gérard Huet
- Re: [Coq-Club]logic programming, Nathan Whitehead
- <Possible follow-ups>
- Re: [Coq-Club]logic programming, Thery Laurent
Archive powered by MhonArc 2.6.16.