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).