core-logic

cheatex 2019-07-31T09:58:59.011700Z

Hi. I'm experimenting with the pldb module. And the only sample fails when I try it.

cheatex 2019-07-31T09:59:18.012Z

ClassCastException class clojure.core.logic.LVar cannot be cast to class java.lang.Number (clojure.core.logic.LVar is in unnamed module of loader clojure.lang.DynamicClassLoader @7dffda8b; java.lang.Number is in module java.base of loader 'bootstrap') clojure.lang.Numbers.equiv (Numbers.java:213)

cheatex 2019-07-31T10:14:57.012300Z

Ok, i've messed up namespaces