public final class CopyTerm extends AbstractSingleResultPredicate
copy_term(X,Y)
- makes a copy of a term.
copy_term(X,Y)
makes a copy of X
and attempts to unify it with Y
. Any
variables in term X
will be replaced with new variables in the copied version of the term.
Constructor and Description |
---|
CopyTerm() |
Modifier and Type | Method and Description |
---|---|
protected boolean |
evaluate(Term arg1,
Term arg2) |
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 arg1, Term arg2)
evaluate
in class AbstractSingleResultPredicate
Copyright © 2024. All rights reserved.