[kanak]

Peter Norvig also has two implementations of Prolog in Paradigms of AI Programming (first one is interpreted, second is complied) in Common Lisp. The book is highly recommended because Norvig's code is very elegant and his exposition is wonderful.

Allegro Prolog [1] is based on Norvig's implementation, although I'm sure they've done a fair bit of optimizing.

[1]: http://www.franz.com/products/prolog/

[JoelMcCracken]

Yeah, I've heard. I really need to acquire and work through that book.

[kanak]

You should totally do it... it's fantastic. Norvig makes it quite clear in the beginning that he expects you to know atleast some lisp beforehand (the "intro" chapter is a bit sparse), so you might want to brush you on your CL skills before you dive in.

[JoelMcCracken]

I think I will. I'm fairly novice at CL, and it would be good to learn it.

[mark_l_watson]

Franz supports a port of his Prolog in their AllegroGraph products, in addition to Allegro Prolog.