The built-in predicate functor/3
performs these functions
The built-in predicate arg/3
performs these functions:
The built-in predicate Term =..
List performs these
functions:
=../2
(otherwise known as "univ")
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.