Documentation Prolog Predicate Reference builtin copy_term/2

copy_term/2

Copy one term without bounding the variables on it.

Description

copy_term( ?term, ?term )

copy_term(X, Y) is true if and only if Y unifies with T, being T a copy of X were all the variables have been renamed.

Implementation