LI 411 c : Programmation en Prolog

Emploi du temps

Plan du cours

1. Les programmes prolog.
2. Les structures de données.
3. Contrôle : retour-arrière, coupure.
4. Les entrées/sorties.
5. Prédicats pré-définis.
6. Les grammaires DCG.

Contrôles

• Contrôle continu n° 1 : 08 Janvier 98, 11:00 à 12:00.
  Sur table, sans documents, salle habituelle.
  • Énoncé (format PostScript).
  • Corrigé (format PostScript).
  • Notes
• Contrôle continu n° 2 : 26 Mars 98, 11:00 à 12:00.
  Sur table, sans documents, salle habituelle.
  • Énoncé (format PostScript).
  • Corrigé (format PostScript).
  • Notes
• Contrôle continu n° 3 : 28 Mai 98, 12:00 à 13:30.
  Sur machine, notes de cours autorisées, salle habituelle.
  • Notes
• Examen de septembre :Mardi 8 septembre 98, 14:00, RC2.
  Notes

Bibliographie

• William F. Clocksin, Chris S. Mellish (1994) Programming in Prolog. 4th edition. Berlin: Springer-Verlag.
• William F. Clocksin, Chris S. Mellish, Programmer en Prolog, (Traduit de l'anglais), Eyrolles, 1987.
• Gerald Gazdar, Chris S. Mellish, Natural Language Processing in Prolog, Addison-Wesley, 1989.
• Chris J. Hogger (1990). Essentials of Logic Programming. Oxford: Clarendon Press.
• John W. Lloyd (1987). Foundations of Logic Programming. 2nd edition. Berlin: Springer-Verlag.
• Richard A. O'Keefe (1990). The Art of Prolog. 2nd edition. Cambridge, Mass.: MIT Press.

  Vulgarisation :

• Patrick Bellot (1994). Objectif Prolog. Masson

Mon Jun 22, 1998