O Dicionário de Termos Informáticos regista o termo aridade indicando a sua utilização no domínio da Lógica e das Linguagens Formais. Este dicionário define aridade como número de argumentos que um predicado possui. A Enciclopédia de Termos Lógico-Filosóficos mostra que na linguagem do Cálculo de Predicados os símbolos relacionais e os símbolos funcionais vêm munidos de uma determinada aridade, por vezes denominada de grau. Assim, um predicado que seja aplicado a n termos diz-se que tem aridade n, ou seja, é uma relação n-ária. Se se tomar como exemplo filho_de (X, Y) verifica-se que o predicado filho_de representa a relação X é filho de Y numa relação binária ou de aridade 2 (os termos X e Y). Os predicados que representam relações de aridade 1, relações unárias, são designados por Propriedades. Para mais esclarecimentos, verificar as seguintes referências: Martinho, Ana Maria et al. 1993. Dicionário de Termos Informáticos. Edições Cosmos. ILTEC. Lisboa.Branquinho, João; Murcho, Desidério. 2001. Enciclopédia de Termos Lógico-Filosóficos. Gradiva. Lisboa.Sterling, Leon; Shapiro, Ehud. 1994. The Art of Prolog (2nd edition). MIT Press.