Some interesting examples of Clojure's core.logic