Math is possible with core.logic (in a sense) using the finite-domain constraints and functions. Check out the clojure.core.logic.fd namespace for more: https:/

Math is possible with core.logic (in a sense) using the finite-domain constraints and functions. Check out the clojure.core.logic.fd namespace for more: https://github.com/clojure/core.logic/blob/master/src/main/clojure/clojure/core/logic/fd.clj https://github.com/clojure/core.logic/blob/master/src/main/c...