Logic Examples using Clojure core.logic