programmation logique
- Domaines
-
- informatiqueprogrammation informatique
- intelligence artificielle
- Dernière mise à jour
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.
Note :
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.
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,