Programação Lógica Completa em Clojure: Clolog

O projeto Clolog integra a programação lógica completa (Prolog) em/chamávél a partir do Clojure, suportando chamadas para e do Clojure. Inspirado no LogLisp, Lisp Machine Prolog e Allegro Prolog, ele adiciona várias melhorias. A ênfase é em poder expressivo e transparência de execução, suportando prototipagem rápida, desenvolvimento de prova de conceito e raciocínio de loop externo (ainda não é muito rápido). Sintaxe Clojure baseada em Lisp, fornece predicados e operadores embutidos para negação, condicionais, vinculação de variáveis e acesso a valores Clojure.