[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Software similar to Prolog
- To: email@example.com
- Subject: Software similar to Prolog
- From: firstname.lastname@example.org (Jiqian Pan)
- Date: Sat, 19 Sep 92 15:53:49 -0400
- Cc: email@example.com, firstname.lastname@example.org
I have some code in Prolog, and want to run them in MCL2.
As you know, MCL2 can't call the Prolog code by using FF
facilities. I am wondering whether there is some software
that looks reasonably similar to Prolog, including prover
and unification, and will run in MCL2.
Thanks for your help.