org.projog.core.predicate.builtin.list

Class SubList

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.list.SubList

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory, PreprocessablePredicateFactory

public final class SubList
extends AbstractSingleResultPredicate
implements PreprocessablePredicateFactory

include(X,Y,Z) - filters a list by a goal.

include(X,Y,Z) succeeds if the list Z consists of the elements of the list Y for which the goal X can be successfully applied.

Constructor Summary

Constructors

Constructor and Description
SubList()

Method Summary

Modifier and Type	Method and Description
protected boolean	evaluate(Term partiallyAppliedFunction, Term args, Term filteredOutput)
PredicateFactory	preprocess(Term term)

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

evaluate, evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, 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

SubList

public SubList()

Method Detail

evaluate

protected boolean evaluate(Term partiallyAppliedFunction,
                           Term args,
                           Term filteredOutput)

Overrides:

evaluate in class AbstractSingleResultPredicate

preprocess

public PredicateFactory preprocess(Term term)

Specified by:

preprocess in interface PreprocessablePredicateFactory