org.projog.core.predicate.builtin.list

Class Member

java.lang.Object

org.projog.core.predicate.AbstractPredicateFactory

org.projog.core.predicate.builtin.list.Member

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class Member
extends AbstractPredicateFactory

member(E, L) - enumerates members of a list.

member(E, L) succeeds if E is a member of the list L. An attempt is made to retry the goal during backtracking - so it can be used to enumerate the members of a list.

Constructor Summary

Constructors

Constructor and Description
Member()

Method Summary

Modifier and Type	Method and Description
protected Predicate	getPredicate(Term element, Term list)

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

Member

public Member()

Method Detail

getPredicate

protected Predicate getPredicate(Term element,
                                 Term list)

Overrides:

getPredicate in class AbstractPredicateFactory