I'm not a prolog or logic programming buff, but have you looked at something like Clojure's core.logic? https://github.com/clojure/core.logic https://github.co

I'm not a prolog or logic programming buff, but have you looked at something like Clojure's core.logic? https://github.com/clojure/core.logic https://github.com/clojure/core.logic