[ library(dynamic_attributes) | Reference Manual | Alphabetic Index ]

copy_term_nat(?Term, -Copy)

Copy term without variable attributes

Term: any term
Copy: copy of term with plain variables

Description

This is equivant to

    copy_term_nat(Term, Copy) :-
        eclipse_language:copy_term(Term, Copy, _AttVars).

Modes and Determinism

copy_term_nat(?, -) is det

See Also