Class 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.