==
added
ns
clojure.core.logic
type
function
(== u v)
A goal that attempts to unify terms u and v.