Did you know ... Search Documentation:
Predicate copy_term_nat/2