LI 411 c : Programmation en Prolog

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

Bibliographie

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

Contrôle(s) continu(s)

• Contrôle n° 1 : 13 décembre 96.
  • Énoncé corrigé (format PostScript-Compressé).
• Contrôle n° 2 : 20 mars 97.
  • Corrigé (fichier Prolog).
• Contrôle n° 3 : 29 mai 97.
  1h30, sur machine.
  • Enoncé.
  • Corrigé (fichier Prolog ou format PostScript).

Examen final

Session de septembre

Fri Jan 22, 1999