Class CopyTerm

java.lang.Object

org.projog.core.predicate.AbstractSingleResultPredicate

org.projog.core.predicate.builtin.construct.CopyTerm

All Implemented Interfaces:

KnowledgeBaseConsumer, PredicateFactory

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 Summary

Constructors

Constructor	Description
CopyTerm()

Method Summary

Modifier and Type	Method	Description
protected boolean	evaluate(Term arg1, Term arg2)

Methods inherited from class AbstractSingleResultPredicate

evaluate, evaluate, evaluate, evaluate, getArithmeticOperators, getFileHandles, getKnowledgeBase, getOperands, getPredicate, getPredicates, getProjogListeners, getSpyPoints, getTermFormatter, init, isRetryable, setKnowledgeBase

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface PredicateFactory

isAlwaysCutOnBacktrack, preprocess

Constructor Details

CopyTerm

public CopyTerm()

Method Details

evaluate

protected boolean evaluate(Term arg1,
 Term arg2)

Overrides:

evaluate in class AbstractSingleResultPredicate