i am interesting in doing logic programming in WL. i thought i could simply use Roman Maeder's implementation of Prolog in Mathematica - he has 2 articles on it
http://www.mathematica-journal.com/issue/v4i1/columns/maeder/53-63_Roman41.mj.pdf
http://www.mathematica-journal.com/issue/v4i2/columns/maeder/38-43_maeder42.mj.pdf
but it has been reported that it doesn't work in v.5 or higher of Mathematica.
does anyone know how to implement logic programming in WL (i.e. in Mathematica)?
Thanks Kay! The code looks great.
If you run across the other implementation that you mentioned, please let us know.
Here is another implementation: http://library.wolfram.com/infocenter/MathSource/809/
Somewhere I found (a couple of years ago) another really good implementation, but I can't find it right now (it was only a couple of lines of code!
We're both interested in this, Richard.
Some years ago I was told "It's easy" and was sent to Roman's well-written papers (he's a real pro). But eventually it didn't work out for reasons I no longer recall.
Bruce