functor(Term, Name, Arity) is true if and only if (1) Term is a compound term with functor name Name and arity Arity or (2) Term is an atomic term named Name and 0 arity.