Logic Programming in Clojure – Finite Domain Constraints
spin.atomicobject.com