[ library(suspend) | Reference Manual | Alphabetic Index ]
<(?Expr1, ?Expr2, ?Bool)
Reified arithmetic comparison
- Expr1
- An arithmetic expression
- Expr2
- An arithmetic expression
- Bool
- Variable, 0 or 1
Description
Reified version of
This constraint suspends until its first two arguments are ground.
It then unifies Bool according to the truth value of the corresponding
Modules
This predicate is sensitive to its module context (tool predicate, see @/2).
Exceptions
- (24) number expected
- Expr1 or Expr2 is not an arithmetic expression.
See Also
< / 2, $< / 3