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

Source : Le grand dictionnaire terminologique

Source : Wikipedia (Constraint logic programming)