An article appeared in AI Expert some time back discussing a subset of Prolog implemented in Common Lisp. The code is available through Compuserve.