public final class Append extends AbstractPredicateFactory
append(X,Y,Z) - concatenates two lists.
The append(X,Y,Z) goal succeeds if the concatenation of lists X and Y matches
the list Z.
| Constructor and Description |
|---|
Append() |
| Modifier and Type | Method and Description |
|---|---|
protected Predicate |
getPredicate(Term prefix,
Term suffix,
Term concatenated) |
getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicate, getPredicate, getPredicate, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBaseclone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitisAlwaysCutOnBacktrackprotected Predicate getPredicate(Term prefix, Term suffix, Term concatenated)
getPredicate in class AbstractPredicateFactoryCopyright © 2024. All rights reserved.