langage Prolog
- Domaines
-
- informatiquelangage de programmation informatique
- intelligence artificielle
- Dernière mise à jour
Définition :
Langage déclaratif fondé sur la logique, qui utilise des faits et des règles formulées à l'intérieur de clauses de Horn pour établir des relations entre les objets.
Notes :
Conçu pour le développement de systèmes experts, le langage Prolog est notamment utilisé pour l'interrogation des bases de connaissances, pour la description de grammaires en langage naturel et pour des simulations.
Le langage Prolog a été développé par A. Colmerauer à l'Université d'Aix-Marseille, au début des années 70.
Termes privilégiés :
- langage Prolog n. m.
- langage PROLOG n. m.
- Prolog n. m.
- PROLOG n. m.
-
En anglais comme en français, l'acronyme PROLOG s'est lexicalisé dans l'usage et ne conserve plus que la majuscule initiale (Prolog).
Le terme PROLOG est l'acronyme de PROgrammation en LOGique.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- Prolog language
- Prolog
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- Prolog n. m.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Termes :
- Prolog s. m.
- lenguaje Prolog 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 :
- Prolog s. m.