L'arité est le nombre d'arguments d'une fonction, d'un prédicat.

Par exemple, functor est un prédicat d'arité 3.