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, setKnowledgeBase
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
isAlwaysCutOnBacktrack
protected Predicate getPredicate(Term prefix, Term suffix, Term concatenated)
getPredicate
in class AbstractPredicateFactory
Copyright © 2024. All rights reserved.