Usage:
functor(Term, F, A)

Extracts or checks functor's name and arity
 

Term	term of the form f(....)
F	unifies with the functor name f as atom
A	a number which unifies with functors arity

See also:

type checking predicates