4.21 Analysing and Constructing Terms
All
Application
Manual
Name
Summary
Help
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
Non-logical operations on terms
Packages
Availability:
built-in
term_variables
(
+Term, -List, ?Tail
)
Difference list version of
term_variables/2
. That is,
Tail
is the tail of the variable list
List
.