Full-Featured Logic Programming in Clojure: Clolog

Clolog embeds full-featured logic programming (Prolog) in/callable from Clojure, supporting calls to and from Clojure. Inspired by LogLisp, Lisp Machine Prolog, and Allegro Prolog, it adds several enhancements. Emphasis is on expressive power and execution transparency, supporting rapid prototyping, proof-of-concept development, and outer-loop reasoning (it's not blazing fast, yet). Clojure-based, Lispy syntax provides built-in predicates and operators for negation, conditionals, variable binding, and access to Clojure values.