Funny. Chapter 24 of Paul Graham's On Lisp is about implementing Prolog in Common Lisp.
It's obligatory for any Lisp book to include a Prolog implementation.
Interesting. Do you know why?
Implementing some kind of Prolog (and also other logic formalism) was common in the AI boom. Some were primitive (for example only using Lisp-like syntax), some were quite extensive (then also providing Edinburgh-Prolog syntax). Most AI tools included some reasoning facility, often in the form of some Prolog. The two commercial Common Lisps (Allegro CL and LispWorks) still offer Prolog implementations.
One of the more extensive treatments of implementing Prolog-like features can be found in "Paradigms of Artificial Intelligence Programming" (PAIP) by Peter Norvig.
Book and code available here: