`</2`

`+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`.

`Expr1`*expr*, must be ground`Expr2`*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 - Yno

Send feedback on this subject.