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

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 list X matches the integer value Y.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static class	Length.Retryable

Constructor Summary

Constructors

Constructor	Description
Length()

Method Summary

Modifier and Type	Method	Description
protected Predicate	getPredicate(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

Constructor Details

Length

public Length()

Method Details

getPredicate

protected Predicate getPredicate(Term list,
 Term expectedLength)

Overrides:

getPredicate in class AbstractPredicateFactory