[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.