Skip to main content
Version: Next

functor/3

Description​

functor/3 is a predicate that relates a compound term with its functor name and arity.

Signature​

functor(?Term, ?Name, ?Arity)

Where:

  • Term is the compound term.
  • Name is the functor name.
  • Arity is the number of arguments.