- Documentation
- Reference manual
- Built-in Predicates
- Analysing and Constructing Terms
- functor/3
- functor/4
- arg/3
- =../2
- compound_name_arity/3
- compound_name_arguments/3
- numbervars/3
- numbervars/4
- var_number/2
- term_variables/2
- nonground/2
- term_variables/3
- term_singletons/2
- is_most_general_term/1
- copy_term/2
- copy_term/4
- copy_term_nat/4
- term_factorized/3
- term_factorized/4
- term_minimal/2
- term_automaton/2
- automaton_minimal/2
- automaton_minimal/3
- Non-logical operations on terms
- Analysing and Constructing Terms
- Built-in Predicates
- Packages
- Reference manual
Availability:built-in
- functor_name(+Atom)
- Name of the functor to use instead of
$VAR. - attvar(+Action)
- What to do if an attributed variable is encountered. Options are
skip, which causes numbervars/3 to ignore the attributed variable,bindwhich causes it to treat it as a normal variable and assign the next'$VAR'(N) term to it, or (default)errorwhich raises atype_errorexception.118This behaviour was decided after a long discussion between David Reitter, Richard O'Keefe, Bart Demoen and Tom Schrijvers. - singletons(+Bool)
- If
true(defaultfalse), numbervars/4 does singleton detection. Singleton variables are unified with'$VAR'('_'), causing them to be printed as_by write_term/2 using the numbervars option. This option is exploited by portray_clause/2 and write_canonical/2.bugCurrently this option is ignored for cyclic terms.