Programma di studio

• Obiettivi

  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.
• contenuto

  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

Metodo d'insegnamento e volume di lavoro

Titolo del corso

Metodi di valutazione

• prove in itinere prove scritte, lavori pratici / valuatazione delle relazioni di laboratorio

Metodo di calcolo della nota del corso

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.

Docente/i e/o coordinatore/i

Frédéric Bapst