[ ECLiPSe Arithmetic built-in.|Group Index| Full Index]

sum(+ExprList, ?Result)

Evaluates the the arithmetic expressions in ExprList and unifies their sum with Result.

+ExprList
A list of arithmetic expressions.
?Result
A variable or number.

Description

This predicate is used by the ECLiPSe compiler to expand evaluable arithmetic expressions. So the call to sum(ExprList, Result) is equivalent to Result is sum(ExprList), which should be prefered.

In coroutining mode, if the list is only partly instantiated, the predicate delays until the list is complete.

Fail Conditions

None.

Resatisfiable

No

Exceptions

(4) Instantiation fault
ExprList is a partial list (non-coroutining mode only).
(5) Type error
ExprList is not a proper list.
(5) Type error
Result is not a number.

Examples


Success:
      X is sum([1,2,3]).  % gives X = 6


See Also

is / 2, + / 3