copy_term/2

Description

copy_term/2 is a predicate that creates a copy of a term with fresh variables.

Signature

copy_term(+Term, ?Copy)

Where:

• Term is the term to copy.
• Copy is the copy with renamed variables.