Documentation copy_term/2
available from version beta

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