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.