« Programmation logique avec contraintes » : différence entre les versions
Aucun résumé des modifications |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| Ligne 17 : | Ligne 17 : | ||
==Sources== | |||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8374132 Source : Le grand dictionnaire terminologique ] | [http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8374132 Source : Le grand dictionnaire terminologique ] | ||
Dernière version du 28 janvier 2024 à 12:46
Définition
Type de programmation par contraintes que l'on peut considérer 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édicat.
Français
programmation logique avec contraintes
programmation logique de contraintes
programmation logique par contraintes
PLC
Anglais
constraint logic programming
CLP
Sources
Contributeurs: Jean Benoît Morel, wiki
