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 and Description |
|---|
AppendListOfLists() |
| Modifier and Type | Method and Description |
|---|---|
protected boolean |
evaluate(Term listOfLists,
Term termToUnifyWith) |
evaluate, evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBaseclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitisAlwaysCutOnBacktrackprotected boolean evaluate(Term listOfLists, Term termToUnifyWith)
evaluate in class AbstractSingleResultPredicateCopyright © 2024. All rights reserved.