
ic:(?ExprX =\= ?ExprY)

   ExprX is not equal to ExprY.

Arguments
   ExprX               Arithmetic expression
   ExprY               Arithmetic expression

Type
   library(ic)

Description

   Constrains ExprX and ExprY to be different.


Modules
   This predicate is sensitive to its module context (tool predicate, see @/2).

See Also
   < / 2, =< / 2, >= / 2, > / 2, =:= / 2, #\= / 2, =\= / 3, =\= / 2, suspend : =\= / 2
