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

Class Reverse

java.lang.Object

org.projog.core.predicate.AbstractPredicateFactory

org.projog.core.predicate.builtin.list.Reverse

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class Reverse
extends AbstractPredicateFactory

reverse(X,Y) - reverses the order of elements in a list.

The reverse(X,Y) goal succeeds if the elements of list X are in reverse order of the elements in list Y.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
private static final class	Reverse.ReversePredicate

Constructor Summary

Constructors

Constructor	Description
Reverse()

Method Summary

Modifier and Type	Method	Description
protected Predicate	getPredicate(Term list1, Term list2)

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

Reverse

public Reverse()

Method Details

getPredicate

protected Predicate getPredicate(Term list1,
 Term list2)

Overrides:

getPredicate in class AbstractPredicateFactory