Skip to Content.
Sympa Menu

coq-club - [Coq-Club]logic programming

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]logic programming


chronological Thread 

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





Archive powered by MhonArc 2.6.16.

Top of Page