[ library(notinstance) | Reference Manual | Alphabetic Index ]

X ~= Y

Constraints X and Y to be different

Description

Fails if X and Y are non-unifiable, otherwise succeeds or delays. Unlike the implementation of the same predicate in the kernel, this one maintains and explicit wavefront and has only one delayed goal. Failure is detected eagerly. Success may be detected late.