Programmation Logique par Contraintes

Université Paris-Diderot, M1 du mastère Ingénierie Informatique
Année 08/09

Il s'agit de la deuxième moitié du cours PROLOG et programmation logique par contraintes. Voir aussi la la page web de la première moitié du cours sur Prolog.

Examen première session

Supports de cours par chapitre

1 écran par feuille 4 écrans par feuille Date mise en ligne
Transparents Cours 1 Transparents Cours 1 compact 17/11
Transparents Cours 2 Transparents Cours 2 compact 24/11
Transparents Cours 3 Transparents Cours 3 compact 1/12
Transparents Cours 4 Transparents Cours 4 compact 8/12
Transparents Cours 5 Transparents Cours 5 compact 15/12

TP et TD

Planning du cours

Numéro Jour Contenu
1 18/11 Introduction, Généralités, Contraintes sur R.
2 25/11 Contraintes sur un domaine fini.
3 2/12 Programmer avec les contraintes sur un domain fini.
4 9/12 Optimisation.
5 16/12 Modélisation avec contraintes à domain fini

Contrôle des connaissances

Note-finale = 1/2 * Partiel + 1/2 * Examen

Systèmes Prolog utilisés


Ralf Treinen