[ library(suspend) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# ?Expr1 #\= ?Expr2

The integer value of Expr1 is not equal to the integer value of Expr2.

Expr1
  An integer arithmetic expression
Expr2
  An integer arithmetic expression

## Description

Suspends until both Expr1 and Expr2 are ground, and then both arguments are evaluated and compared, succeeding iff they are both integers and are not equal.

### Modules

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

### Fail Conditions

fails if the value of Expr1 is equal to the value of Expr2, or if either do not evaluate to an integer.

### Exceptions

(24) number expected
  Expr1 or Expr2 is not an arithmetic expression.

## See Also

#\= / 3, fd : #\= / 2, ic : #\= / 2