Office québécois de la langue française

Le grand dictionnaire terminologique
Réduire la taille du texte Augmenter la taille du texte
Fiche terminologique

FICHE TERMINOLOGIQUE

Interrogation 
Envoyer la fiche par courriel Imprimer la fiche

langage Prolog

Domaines

informatique > langage de programmation informatique

intelligence artificielle

Auteur

Logo identifiant une fiche rédigée par l’Office québécois de la langue française Office québécois de la langue française, 2006

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 jugés adéquats pour désigner le concept à l’intérieur d’un domaine spécialisé, conformes au système linguistique du français ou acceptables en vertu des politiques officielles de l’Office

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.

Anglais

Auteur

Logo identifiant une fiche rédigée par l’Office québécois de la langue française Office québécois de la langue française, 2006

Termes

Prolog language   

Prolog   

Catalan

Auteur

Universitat Autònoma de Barcelona, 2005

Terme

Prolog   n. m.

Espagnol

Auteurs

Consejo Superior de Investigaciones Cientificas, 2005

Colegio de México, 2005

Termes

Prolog   s. m.

lenguaje Prolog   s. m.

Mexique

Portugais

Auteurs

Centro de Linguística da Universidade Nova de Lisboa, 2005

Universidade de São Paulo, 2005

Notes

Subárea da inteligência artificial: linguagens e ferramentas de IA (PROLOG).  

Terme

Prolog   s. m.