Documentation functor/3
available from version beta

functor/3

Check characteristics of a term.

Description

functor( -nonvar, +atomic, +integer )
functor( +nonvar, ?atomic, ?integer )

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.

Implementation