==

added

ns
clojure.core.logic

type
function

(== u v)

A goal that attempts to unify terms u and v.