[Haskell-cafe] embedding prolog in haskell.

Keean Schupke k.schupke at imperial.ac.uk
Wed Aug 17 11:19:06 EDT 2005

Does anyone know if the source code for the embedded prolog (by Silvija 
Seres & Michael Spivey) is available for download from anywhere? I have 
read the paper and found some of the types are wrong, some critical 
definitions are missing, and the definition of unify is missing.


More information about the Haskell-Cafe mailing list