Next: mpg-ref-library_directory, Previous: mpg-ref-length, Up: mpg-bpr [Contents][Index]
</2
ISO+Expr1 <
+Expr2
Evaluates Expr1 and Expr2 as arithmetic expressions. The goal succeeds if the result of evaluating Expr1 is strictly less than the result of evaluating Expr2.
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).
| ?- 23 + 2.2 < 23 - 2.2. yes | ?- X = 31, Y = 25, X + Y < X - Y no