|Did you know ...||Search Documentation:|
?- copy_term([X], q(X,Y), Vars, Term). Vars = [_A], Term = q(_A, Y).
Note that if VarsIn and In do not share any
Out is equivalent to In and VarsOut is
a copy (as copy_term/2)
of VarsIn. If In does not contain any variables
not in VarsIn the result is the same as