Clojurians Log v2

Looking to estimate how much work the following problem would require: "Given a Datalog query (the result of which is a set of entities), create an entity which would satisfy the query."

@mithrandir03 You could probably get pretty far with just clojure.spec and its generative capabilities, which are a "teaser" for the more capable https://github.com/clojure/test.check Further things that could help out are unification and logic programming (https://github.com/clojure/core.unify / https://github.com/clojure/core.logic )

Thanks for getting me started!