Next: ref-lte-acl, Previous: ref-lte-met, Up: ref-lte [Contents][Index]
The built-in predicate functor/3
:
The built-in predicate arg/3
unifies a term with a specified argument of another term.
The built-in predicate Term =..
List
unifies List with a list whose head is the atom corresponding
to the principal functor of Term and whose tail is a list of
the arguments of Term.
The built-in predicate acyclic_term/2(Term)
succeeds if and only if Term is finite (acyclic).
The built-in predicate term_variables(Term,Variables)
unifies Variables with the set of variables that occur in Term,
in first occurrence order.