Package org.projog.core.predicate.builtin.list

Class SubtractFromList

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.list.SubtractFromList

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class SubtractFromList
extends AbstractSingleResultPredicate

subtract(X,Y,Z) - removes elements from a list.

subtract(X,Y,Z) removes the elements in the list represented by Y from the list represented by X and attempts to unify the result with Z.

Constructor Summary

Constructors

Constructor	Description
SubtractFromList()

Method Summary

Modifier and Type	Method	Description
protected boolean	evaluate(Term original, Term itemsToRemove, Term result)
private boolean	isUnified(Term item, Term itemToRemove)
private boolean	shouldBeRemoved(Term item, java.util.List<Term> itemsToRemoveAsList)

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

isAlwaysCutOnBacktrack

Constructor Detail

SubtractFromList

public SubtractFromList()

Method Detail

evaluate

protected boolean evaluate(Term original,
                           Term itemsToRemove,
                           Term result)

Overrides:

evaluate in class AbstractSingleResultPredicate

shouldBeRemoved

private boolean shouldBeRemoved(Term item,
                                java.util.List<Term> itemsToRemoveAsList)

isUnified

private boolean isUnified(Term item,
                          Term itemToRemove)