RECHERCHE
Interrogation 
Envoyer la fiche par courriel Imprimer la fiche

programmation logique

Domaines

informatique > 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

Méthode de programmation basée sur la logique formelle, donnant la possibilité de présenter des solutions alternatives à un problème, à partir de déductions.  

Notes

On utilise la programmation logique pour la formulation de bases de connaissances. Le langage PROLOG, par exemple, est un langage de programmation logique.

Terme privilégié

programmation logique   n. f.

Notes

Anglais

Auteur

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

Termes

logic programming   

logical programming   

Catalan

Auteur

Universitat Autònoma de Barcelona, 2005

Terme

programació lògica   n. f.

Espagnol

Auteurs

Consejo Superior de Investigaciones Cientificas, 2005

Colegio de México, 2005

Terme

programación lógica   s. f.

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.  

Termes

programação em lógica   s. f.

Brésil

programação lógica   s. f.

Portugal