I was wondering, are there any more expansive logic-programming libraries in clojure than core.logic? Precept seems to be more a Datalog-like (both are missing things like CLP-FD), and Clara-rules & the new O'Doyle are rules-engines rather than full logic-programming environments.