diff --git a/src/test/clojure/clojure/core/logic/tests.clj b/src/test/clojure/clojure/core/logic/tests.clj index 3e819221..29a08cca 100644 --- a/src/test/clojure/clojure/core/logic/tests.clj +++ b/src/test/clojure/clojure/core/logic/tests.clj @@ -1728,9 +1728,13 @@ [_2 :vogue :mascarpone 8.5])))) (deftest test-71-simple-unifier-reify-vars - (is (= (u/unify {} '[(?x) (?x) (1)]) + (is (= (u/unify '[(?x) (?x) (1)]) '(1)))) +(deftest test-36-unifier-behavior + (is (= (u/unifier ['(?x ?y) '(?y ?x)]) + '{?x ?y}))) + ;; ============================================================================= ;; cKanren