Class AppendListOfLists

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.list.AppendListOfLists

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

public final class AppendListOfLists
extends AbstractSingleResultPredicate

append(ListOfLists, List) - concatenates a list of lists.

The append(ListOfLists, List) goal succeeds if the concatenation of lists contained in ListOfLists matches the list List.

Constructor Summary

Constructors

Constructor	Description
AppendListOfLists()

Method Summary

Modifier and Type	Method	Description
protected boolean	evaluate(Term listOfLists, Term termToUnifyWith)

Methods inherited from class AbstractSingleResultPredicate

evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface PredicateFactory

isAlwaysCutOnBacktrack, preprocess

Constructor Details

AppendListOfLists

public AppendListOfLists()

Method Details

evaluate

protected boolean evaluate(Term listOfLists,
 Term termToUnifyWith)

Overrides:

evaluate in class AbstractSingleResultPredicate