11.3.63 dif/2

Synopsis

dif(+X,+Y)

Constrains X and Y to represent different terms i.e. to be non-unifiable.

Arguments

X

term

Y

term

Description

Calls to dif/2 either succeed, fail, or are blocked depending on whether X and Y are sufficiently instantiated. It is defined as if by:

dif(X, Y) :- when(?=(X,Y), X\==Y).

Exceptions

None.

See Also

ref-sem-sec.