hi guys

why can't i do this? (run* [q1 q2] (= q1 (* q2 q2))) ?

i got this: ClassCastException clojure.core.logic.LVar cannot be cast to java.lang.Number clojure.lang.Numbers.multiply (Numbers.java:148)

user=> (run* [q1] (== q1 1)) (1)

user=> (run* [q1 q2] (= q1 q2 1)) ClassCastException java.lang.Boolean cannot be cast to clojure.lang.IFn clojure.core.logic.Substitutions (logic.clj:425)

oh == is unification which is different

(run* [q1 q2] (== [3 q1] [q2 2])) ([2 3])

got it