(!= u v)
Disequality constraint. Ensures that u and v will never unify. u and v can be complex terms.
(!= 1 2) ; => true