Fork me on GitHub
#core-logic
<
2019-07-31
>
cheatex09:07:59

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

cheatex09:07:18

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)

cheatex10:07:57

Ok, i've messed up namespaces