Programmation logique avec contraintes
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
