programmation logique
- Domaines
-
- informatiqueprogrammation informatique
- intelligence artificielle
- Dernière mise à jour
Définition :
Méthode de programmation basée sur la logique formelle, consistant à représenter un programme par un ensemble de faits et de règles exprimant les relations logiques qui sous-tendent un problème à résoudre.
Notes :
La programmation logique vise à décrire un problème plutôt qu'à préciser explicitement la séquence d'instructions permettant de le résoudre, comme c'est le cas dans la plupart des autres méthodes de programmation.
À l'aide de la programmation logique, un système d'intelligence artificielle peut effectuer des inférences et des déductions à partir de connaissances représentées de manière structurée et logique.
L'un des langages les plus utilisés en programmation logique est le langage Prolog.
Cette fiche fait partie du vocabulaire L'intelligence artificielle en évolution : les termes de l'IA.
Terme privilégié :
- programmation logique n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- logic programming
- logical programming
-
catalan
Auteur : Universitat Autònoma de Barcelona,Terme :
- programació lògica n. f.
-
espagnol
Auteurs : Consejo Superior de Investigaciones Cientificas,
Colegio de México,Terme :
- programación lógica s. f.
-
portugais
Auteurs : Centro de Linguística da Universidade Nova de Lisboa,
Universidade de São Paulo,