corps de clause
- Domaine
-
- intelligence artificielle
- Dernière mise à jour
Définition :
Second argument d'une clause, situé dans la partie droite de cette clause, et qui, en langage Prolog, est constitué d'une suite de littéraux dont l'ensemble permet de résoudre le littéral de tête.
Note :
Le symbole fonctionnel « :- » sert à séparer la tête de clause du corps de clause.
Termes privilégiés :
- corps de clause n. m.
- corps n. m.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- clause body
- body
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- cos n. m.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Termes :
- cuerpo s. m.
- cuerpo de la cláusula s. m. Mexique
-
portugais
Auteurs : Centro de Linguística da Universidade Nova de Lisboa,
Universidade de São Paulo,Note :
Subárea da inteligência artificial: linguagens e ferramentas de IA (PROLOG).
Terme :
- corpo s. m.