org.projog.core.predicate.builtin.list

Class Fold

java.lang.Object

org.projog.core.predicate.AbstractPredicateFactory

org.projog.core.predicate.builtin.list.Fold

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory, PreprocessablePredicateFactory

public final class Fold
extends AbstractPredicateFactory
implements PreprocessablePredicateFactory

foldl(PredicateName, Values, Start, Result) - combines elements of a list into a single term.

See Wikipedia.

Constructor Summary

Constructors

Constructor and Description
Fold()

Method Summary

Modifier and Type	Method and Description
protected Predicate	getPredicate(Term atom, Term values, Term start, Term result)
PredicateFactory	preprocess(Term arg)

Methods inherited from class org.projog.core.predicate.AbstractPredicateFactory

getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicate, getPredicate, getPredicate, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.projog.core.predicate.PredicateFactory

getPredicate, isAlwaysCutOnBacktrack, isRetryable

Constructor Detail

Fold

public Fold()

Method Detail

preprocess

public PredicateFactory preprocess(Term arg)

Specified by:

preprocess in interface PreprocessablePredicateFactory

getPredicate

protected Predicate getPredicate(Term atom,
                                 Term values,
                                 Term start,
                                 Term result)

Overrides:

getPredicate in class AbstractPredicateFactory