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 ifEis a member of the listL. An attempt is made to retry the goal during backtracking - so it can be used to enumerate the members of a list.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description private classMember.MemberPredicate
-
Constructor Summary
Constructors Constructor Description Member()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected PredicategetPredicate(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
-
-
-
-
Method Detail
-
getPredicate
protected Predicate getPredicate(Term element, Term list)
- Overrides:
getPredicatein classAbstractPredicateFactory
-
-