[ library(suspend) | Reference Manual | Alphabetic Index ]
?Expr1 $= ?Expr2
The value of Expr1 is equal to the value of Expr2.
- Expr1
- An arithmetic expression
- Expr2
- An arithmetic expression
Description
Suspends until both Expr1 and Expr2 are ground, and then both arguments
are evaluated and compared, succeeding iff they are equal (beware of
rounding errors when comparing reals).
Modules
This predicate is sensitive to its module context (tool predicate, see @/2).
Fail Conditions
fails if the value of Expr1 is not equal to the value of Expr2
Exceptions
- (24) number expected
- Expr1 or Expr2 is not an arithmetic expression.
See Also
$= / 3, =:= / 2, ic : $= / 2, colgen : $= / 2, eplex : $= / 2