Vollwertige Logikprogrammierung in Clojure: Clolog

Das Clolog-Projekt bettet vollwertige Logikprogrammierung (Prolog) in/aufrufbar von Clojure ein und unterstützt Aufrufe von und nach Clojure. Inspiriert von LogLisp, Lisp Machine Prolog und Allegro Prolog, fügt es mehrere Verbesserungen hinzu. Der Schwerpunkt liegt auf Ausdrucksstärke und Ausführungstransparenz, unterstützt schnelles Prototyping, Proof-of-Concept-Entwicklung und Outer-Loop-Reasoning (es ist noch nicht blitzschnell). Die Clojure-basierte, lispy Syntax bietet integrierte Prädikate und Operatoren für Negation, Bedingungsanweisungen, Variablenbindung und Zugriff auf Clojure-Werte.