[microtonal]

Or the "Reasoned Schemer". Unfortunately, most such implementations are slow compared to Prolog AMs.

[coliveira]

Agreed, that's why I think it makes sense to use the real thing. But commercial Lisp compilers have Prolog implementations that I suspect are better than the ones appearing on text books.