Programme de formation

• Objectifs

  A la fin du cours l'étudiant sait:

  • Programmer avec un langage non-impératif; en l'occurrence le cours vise à faire découvrir le modèle de programmation logique, ainsi que la programmation par contraintes.
• Contenu

  Programmation logique (64 périodes):

  • Bases de Prolog : logique, prédicats, variable logique, arbre de dérivation.
  • Structures de données incomplètes.
  • Parcours de graphes d'états.
  • Problèmes du ''cut'', négation. Règles dynamiques (assert).
  • Definite Clause Grammars, utilisation de Prolog pour l'analyse syntaxique.
  • Meta-programmation. Notion de tableau noir.
  • Extension du modèle logique par l'expression de contraintes.
  • Propagation/distribution, techniques de programmation par contraintes, moteur GnuProlog
  • Programmation multi-langages

Forme d'enseignement et volume de travail

Spécification du cours

Modalités d'évaluation

• Contrôle continu: travaux écrits, TP/évaluation de rapports

Mode de calcul de la note de cours

La note du contrôle continu est la moyenne pondérée des évaluations du semestre (+/- un possible ajustement lié aux TPs). En cas d'examen de révision, la note finale du cours est la moyenne arithmétique de la note du contrôle continu et de celle de l'examen de révision.

Enseignant(s) et/ou coordinateur(s)

Frédéric Bapst