Symbole fonctionnel représentant un atome, caractérisé par le nombre de ses arguments, et servant à identifier une structure en langage Prolog.
foncteur
functor
Source : Le grand dictionnaire terminologique
Contributeurs: Claire Gorjux, wiki