Programación lógica completa en Clojure: Clolog

El proyecto Clolog integra la programación lógica completa (Prolog) en/llamable desde Clojure, con soporte para llamadas desde y hacia Clojure. Inspirado en LogLisp, Lisp Machine Prolog y Allegro Prolog, agrega varias mejoras. Se hace hincapié en el poder expresivo y la transparencia de la ejecución, lo que permite la creación rápida de prototipos, el desarrollo de pruebas de concepto y el razonamiento de bucle externo (aún no es muy rápido). La sintaxis Clojure basada en Lisp proporciona predicados y operadores integrados para la negación, condicionales, enlace de variables y acceso a valores de Clojure.