Skip to:
The example of clojure.core.logic.unifier/unifier on the Features wiki page is
(unifier '(?x ?y ?z) '(1 2 ?y)) ; (1 2 _.0)
Shouldn't it be something like
(unifier ['(?x ?y ?z) '(1 2 ?y)]) ; {?y 2, ?x 1, ?z 2}
?
[org.clojure/core.logic "0.8.10"]
The example of clojure.core.logic.unifier/unifier on the Features wiki page is
(unifier '(?x ?y ?z) '(1 2 ?y)) ; (1 2 _.0)
Shouldn't it be something like
(unifier ['(?x ?y ?z) '(1 2 ?y)]) ; {?y 2, ?x 1, ?z 2}
?