Class SumList

java.lang.Object
org.projog.core.predicate.AbstractSingleResultPredicate
org.projog.core.predicate.builtin.list.SumList
All Implemented Interfaces:
KnowledgeBaseConsumer, PredicateFactory

public final class SumList extends AbstractSingleResultPredicate
sum_list(X,Y) - sums the elements of a list.

The sum_list(X,Y) goal succeeds if sum of elements in the list X matches Y.