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.