If clojure is your thing there is core-logic https://github.com/clojure/core.logic