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.

Constructor Summary

Constructors

Constructor and Description
Reverse()

Method Summary

Modifier and Type	Method and 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 Detail

Reverse

public Reverse()

Method Detail

getPredicate

protected Predicate getPredicate(Term list1,
                                 Term list2)

Overrides:

getPredicate in class AbstractPredicateFactory