#### 11.3.111 `</2`

[ISO]

#### Synopsis

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

#### Arguments

`Expr1`- expr, must be ground

`Expr2`- expr, must be ground

#### Description

Evaluates `Expr1` and `Expr2` as arithmetic expressions and
compares the results.

#### Exceptions

Arithmetic errors (see ref-ari-exc).

#### Examples

| ?- `23 + 2.2 < 23 - 2.2.`
yes
| ?- `X = 31, Y = 25, X + Y < X - Y`
no

#### See Also

ref-ari

Send feedback on this subject.