Programmation logique avec contraintes


De DataFranca

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


Source : Le grand dictionnaire terminologique

Source : Wikipedia (Constraint logic programming)

Contributeurs : Jean Benoît Morel, Pitpitt