Class Length
- java.lang.Object
-
- org.projog.core.predicate.AbstractPredicateFactory
-
- org.projog.core.predicate.builtin.list.Length
-
- All Implemented Interfaces:
KnowledgeBaseConsumer,PredicateFactory
public final class Length extends AbstractPredicateFactory
length(X,Y)- determines the length of a list.The
length(X,Y)goal succeeds if the number of elements in the listXmatches the integer valueY.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description private static classLength.Retryable
-
Constructor Summary
Constructors Constructor Description Length()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected PredicategetPredicate(Term list, Term expectedLength)-
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 list, Term expectedLength)
- Overrides:
getPredicatein classAbstractPredicateFactory
-
-