====== Programmation Logique et par Contraintes ======

[[https://www.irif.fr/~buccia/COURS/PLC/|La page du cours]]

==== Contenu du cours ====

=== Prolog : ===

  * 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.

=== Programmation par contraintes : ===

  * 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)