Welcome! Please see the About page for a little more info on how this works.

0 votes
in core.logic by
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}

?

1 Answer

0 votes
by
Reference: https://clojure.atlassian.net/browse/LOGIC-178 (reported by alex+import)
...