The Coq mailing list

[Sean McLaughlin <seanmcl AT cmu.edu>]

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