Wiki 上的统一器示例是否使用了错误的语法？

Question

在 Features Wiki 页面上的 clojure.core.logic.unifier/unifier 示例是

(unifier '(?x ?y ?z) '(1 2 ?y)) ; (1 2 _.0)

它不应该类似于以下这样吗？

(unifier ['(?x ?y ?z) '(1 2 ?y)]) ; {?y 2, ?x 1, ?z 2}

?

Answer 1

参考：[https://clojure.atlassian.net/browse/LOGIC-178](https://clojure.atlassian.net/browse/LOGIC-178)（由 alex+import 报告）