Fork me on GitHub
#core-logic
<
2022-01-03
>
Cale Pennington20:01:19

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

Swapneil21:01:36

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 https://stackoverflow.com/questions/13195493/core-logic-finite-domain-with-ve-values that they had no intention of extending the library itself to negatives or reals.