[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.

    Regards,
    Keean.


More information about the Haskell-Cafe mailing list