[ library(notinstance) | The ECLiPSe Libraries | 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.