Common Lisp implementations:
- LispWorks has a prolog implementation: Common Prolog(KnowledgeWorks).
- Allegro Common Lisp has a prolog implementation: Allegro Prolog.
- Peter Norvig's excellent Paradigms of Artificial Intelligence Programming (PAIP) contains a Prolog interpreter/compiler in Common Lisp. Source code is available online: https://norvig.com/paip/README.html
- Paul Graham's On Lisp also contains a Prolog compiler.
- Gambol is a basic Prolog interpreter in Common Lisp.
- Qi is a language extending common lisp with prolog capabilities, as well as optional and extensible static type-checking.
- Hideyuki Nakashima wrote a Prolog interpreter that is available from the CMU AI repository: https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/ppicl/0.html (circa 1988, may be a bit rusty)
Pages in category 'prolog:
- Gambol - Gambol provides basic prolog-like functionality for Common Lisp
- Poplog - Poplog is a multi-language programming system which includes its own Common Lisp implementation, as well as Standard ML, Prolog, and Pop-11
- Prolog Technology Theorem Prover - The Prolog Technology Theorem Prover (PTTP) is an implementation (in Common Lisp) of the model elimination theorem-proving procedure that extends Prolog to the full first-order predicate calculus