Programmation Logique et par Contraintes

La page du cours

• Syntaxe et sémantique opérationnelle.
• Fondements logiques et sémantique déclarative.
• Modélisation de problèmes en Prolog.
• Récursion, listes.
• Contrôle: cut et négation.
• Applications.

• Qu’est-ce qu’une contrainte.
• Qu’est-ce un problème de satisfaction de contrainte (CSP).
• Exemple: Coloriage d’une carte.
• Modélisation à l’aide de CSP.
• Algorithmes de résolution de CSP sur domaines finis.
• Programmation par contraintes avec Prolog.
• Résolution de contraintes linéaires (sur les entiers)