在维基上使用统一符的示例是否使用了错误的语法？

Question

功能维基页面上的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（由 alex+import 报告）