implemeting Prolog in WL

Questions
1

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)?

2

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

3

Here is another implementation:

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!

4

Thanks Kay! The code looks great.

If you run across the other implementation that you mentioned, please let us know.