« Programmation logique avec contraintes » : différence entre les versions
Aucun résumé des modifications |
m (JBM a déplacé la page Constraint logic programming vers Programmation logique avec contraintes) |
(Aucune différence)
| |
Version du 2 juin 2021 à 14:15
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
Contributeurs: Jean Benoît Morel, wiki
