Example of unifier on wiki uses wrong syntax?

Description

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}

?

Environment

[org.clojure/core.logic "0.8.10"]

Assignee

David Nolen

Reporter

import

Labels