Programmation logique avec contraintes

La version imprimable n’est plus prise en charge et peut comporter des erreurs de génération. Veuillez mettre à jour les signets de votre navigateur et utiliser à la place la fonction d’impression par défaut de celui-ci.

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

Source : Le grand dictionnaire terminologique

Source : Wikipedia (Constraint logic programming)