unification
- Domaines
-
- informatiqueprogrammation informatique
- intelligence artificielle
- Dernière mise à jour
Définition :
Processus de comparaison servant à déterminer si deux expressions peuvent être rendues identiques, en remplaçant les variables qui y interviennent par d'autres expressions.
Note :
L'unification est l'opération de base du langage Prolog. Elle permet de mettre en correspondance des expressions symboliques en établissant la liste des substitutions de symboles qui rend les expressions identiques.
Terme privilégié :
- unification n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- unification
- consolidation
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- unificació n. f.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Terme :
- unificación s. f.
-
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 :
- unificação s. f.