!=

added

ns
clojure.core.logic

type
function

(!= u v)

Disequality constraint. Ensures that u and v will never
unify. u and v can be complex terms.

                (!= 1 2) ; => true