Next: mpg-ref-not_greater_than, Previous: mpg-ref-nospyall, Up: mpg-bpr [Contents][Index]
=\=/2
ISO+Expr1 =\=
+Expr2
Succeeds if the results of evaluating Expr1 and Expr2 are not equal.
expr, must be ground
expr, must be ground
Evaluates Expr1 and Expr2 as arithmetic expressions and compares the results.
Arithmetic errors (see ref-ari-exc).
| ?- 7 =\= 14/2. no
| ?- 7 =\= 15/2. yes