functor(Term,F,A)est vrai si Term est un terme donc le symbole racine est F qui est d'arité est A..

J`ai pas compris la pharse "F qui est d'arité est A"...C'est quoi d'arité ?
Explicitez-moi svp!...