
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.
   Alternate form of ExprX $\= ExprY.


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

See Also
   < / 2, =< / 2, >= / 2, > / 2, =\= / 2, $\= / 2, #\= / 2, =\= / 2, iso_light : =\= / 2, suspend : =\= / 2, iso_strict : =\= / 2
