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, setKnowledgeBase
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
isAlwaysCutOnBacktrack
protected boolean evaluate(Term listOfLists, Term termToUnifyWith)
evaluate
in class AbstractSingleResultPredicate
Copyright © 2024. All rights reserved.