Prolog
Prolog is a programming language based around logical assertions.
The name is a shortened form of "PROgramming in LOGic".
A wiki page about Prolog is at http://lupo.dyndns.org/openwiki/ow.asp?Prolog
another prolog wiki is at http://gollem.swi.psy.uva.nl/twiki/pl/bin/view/Main/WebHome
Lisp-relevant implementations:
- Peter Norvig's excellent Paradigms of Artificial Intelligence Programming contains a Prolog interpreter/compiler in Common Lisp;
- Christophe Rhodes has made an update of Norvig's Prolog available:
PAIPROLOG.
From c.l.l: "The engine in that tarball has also been updated to
conform to ISO prolog semantics, including (I think) slightly complex
cases involving the cut."
- 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.
- LispWorks Enterprise Edition ship with a Expert Systems platform, the KnowLedgeWorks(R). It contains a ISO Prolog compiler, which can compile prolog programs directly into Common Lisp fasls.
This page is linked from: AI cl-unification
CLiki pages can be edited by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively