Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente | |||
| cnam:utc503:declarative [2023/11/06 19:04] – [Prog fonctionnelle] jcheron | cnam:utc503:declarative [2023/11/25 18:41] (Version actuelle) – [Prog logique] jcheron | ||
|---|---|---|---|
| Ligne 20: | Ligne 20: | ||
| Consiste à poser le problème par un ensemble de propositions logiques à satisfaire : ProLog | Consiste à poser le problème par un ensemble de propositions logiques à satisfaire : ProLog | ||
| - | (voir PROLOG). | + | (voir [[cnam: |
| ==== Prog par contraintes ==== | ==== Prog par contraintes ==== | ||
| Permet de résoudre des problèmes combinatoires (planification ou ordonnancement par ex) par satisfaction de contraintes. | Permet de résoudre des problèmes combinatoires (planification ou ordonnancement par ex) par satisfaction de contraintes. | ||
jcheron