« Programmation logique avec contraintes » : différence entre les versions
m (JBM a déplacé la page Constraint logic programming vers Programmation logique avec contraintes) |
Aucun résumé des modifications |
||
| Ligne 18 : | Ligne 18 : | ||
<small> | <small> | ||
[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8374132 Source : Le grand dictionnaire terminologique ] | [http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=8374132 Source : Le grand dictionnaire terminologique ] | ||
| Ligne 24 : | Ligne 23 : | ||
[https://en.wikipedia.org/wiki/Constraint_logic_programming Source : Wikipedia (Constraint logic programming) ] | [https://en.wikipedia.org/wiki/Constraint_logic_programming Source : Wikipedia (Constraint logic programming) ] | ||
[[ | [[Catégorie:GRAND LEXIQUE FRANÇAIS]] | ||
Version du 3 juin 2021 à 10:00
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
