« Programmation logique avec contraintes » : différence entre les versions
m (JBM a déplacé la page Constraint logic programming vers Programmation logique avec contraintes) |
m (Remplacement de texte : « ↵<small> » par « ==Sources== ») |
||
| (Une version intermédiaire par le même utilisateur non affichée) | |||
| Ligne 17 : | Ligne 17 : | ||
==Sources== | |||
[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]] | ||
Dernière version du 28 janvier 2024 à 12:46
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
Contributeurs: Jean Benoît Morel, wiki
