[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Software similar to Prolog

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.