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
compound_name_arguments
(
?Compound, ?Name, ?Arguments
)
Rationalized version of
=../2
that can compose and decompose compound terms with zero arguments. See also
compound_name_arity/3
.