org.projog.core.predicate.builtin.list

Class Select

java.lang.Object

org.projog.core.predicate.AbstractPredicateFactory

org.projog.core.predicate.builtin.list.Select

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class Select
extends AbstractPredicateFactory

select(X,Y,Z) - removes an element from a list.

Attempts to unify Z with the result of removing an occurrence of X from the list represented by Y. An attempt is made to retry the goal during backtracking.

Constructor Summary

Constructors

Constructor and Description
Select()

Method Summary

Modifier and Type	Method and Description
Predicate	getPredicate(Term element, Term inputList, Term outputList)

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

isAlwaysCutOnBacktrack

Constructor Detail

Select

public Select()

Method Detail

getPredicate

public Predicate getPredicate(Term element,
                              Term inputList,
                              Term outputList)

Overrides:

getPredicate in class AbstractPredicateFactory