Fork me on GitHub
Cale Pennington20:01:19

is there any version of the core.logic.fd operations (perhaps in another library?) that supports negative domain values?


I've looked into Clojure logic programming the past few weeks and haven't found anything. Most non-core.logic libraries I've seen are rules engines for in-memory databases, not full logic-programming systems, and one of the original core.logic maintainers said at that they had no intention of extending the library itself to negatives or reals.