ARITHMETIC EXPRESSIONS
Arithmetic is performed by built-in procedures whose arguments are integer expressions which are evaluated when the
procedure is called. An integer expression is a term built from evaluable functors, integers and variables. At the time of
evaluation, each variable in an integer expression must be bound to an integer, or an integer expression.
Each evaluable functor stands for an arithmetic operation. The evaluable functors are as follows, where X and Y are
integer expressions: In the arithmetic built-in procedures which follow, X and Y stand for arithmetic expressions and Z for
some term.