==

added

ns
clojure.core.logic.fd

type
function

(== u v)

A finite domain constraint. u and v must be equal. u and v must
eventually be given domains if vars.