programmation logique avec contraintes
- Domaines
-
- informatique programmation informatique
- cybernétique
- Dernière mise à jour
Définition :
Programmation issue de la programmation logique et de la programmation mathématique, qui permet de résoudre les problèmes combinatoires difficiles.
Note :
Le langage de programmation logique avec contraintes peut être considéré comme un prolongement de la programmation logique où l'unification est remplacée par la satisfaction de contraintes exprimées sous la forme de prédicats. Un tel langage permet la composition de prédicats à partir d'opérateurs logiques et de quantificateurs.
Termes privilégiés :
- programmation logique avec contraintes n. f.
- PLC n. f.
Traductions
-
anglais
Auteur : Office québécois de la langue française,Termes :
- constraint logic programming
- CLP