Succeed if the value of Expr1 is equal to the value of Expr2.
+Expr1
An arithmetic expression
+Expr2
An arithmetic expression
Description
Both arguments are evaluated and their types adjusted. Then the
resulting numbers are compared. The predicate succeeds if the values of
Expr1 and Expr2 are equal (beware of rounding errors when comparing
reals). If the system is in coroutining mode and the arguments are not
ground, this predicate delays until the expressions are fully
instantiated.
Fail Conditions
fails if the value of Expr1 is not equal to the value of Expr2
Resatisfiable
No
Exceptions
(4) Instantiation fault
Expr1 or Expr2 is a variable (non-coroutining mode only).