How about this one concerning the definition of functor -- in Prolog, everything is defined as a structure or term of the form: functor(arg1, arg2, ..).

Functors are thus the Prolog building blocks to declaratively relate or map different categories.