Franz has announced an implementation of Prolog for ACL [via Gordon Weakliem and Chris Double].
Posted by jjwiseman at July 20, 2004 08:12 AMAllegro Prolog is an implementation of Prolog in Common Lisp. It is based on the implementation developed by Peter Norvig in Paradigms of Artificial Intelligence Programming. The code has been further optimized and useful extensions provided, making an industrial-strength Prolog programming environment with a flexible calling interface in both directions between Common Lisp and Prolog.