Ausbildungsprogramm

• Angestrebte Kompetenzen und Lernziele

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

  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

Unterrichtsform

Kursbeschreibung

Lernkontrolle

• Schlussprüfung Lernkontrolle Berichte, Berichte

Notenberechnung / Validierungsmodalitäten

Die Note des Kurses entspricht dem gewichteten Durchschnitt aller Lernkontrollen während des Semesters (+/- mögliche Anpassung für Praktikum). Im Falle einer Schlussprüfung entspricht die Note des Kurses dem arithmetischen Mittel aus der Note der Lernkontrolle und der Schlussprüfung.

Dozierende

Frédéric Bapst