Availability:built-in
copy_term_nat(+VarsIn,
+In, -VarsOut, -Out)As copy_term/4,
using the attributed variable semantics of copy_term_nat/2.
This implies that attributed variables that appear in VarsIn
appear as renamed plain variables in
VarsOut and Out. Attributed variables in In
that do not appear in VarsIn are shared between
In and Out.
- Introduced in 8.5.5 (👉b4bfdc2) copy_term/4 and copy_term_nat/4. These predicates provide a partial renaming of variables and is used in s(CASP). This patch also improves out-of-memory handling and adds a test suit for copy_term.
