LI 411 c : Programmation en Prolog
Emploi du temps
Horaire :
Jeudi, de 10:30 à 12:00
Salle :
machine (couloir 45-46, 1er étage, salle 109)
Rythme :
Annuel
Premier cours
je 09 Octobre 1997
Plan du cours
Les programmes prolog.
Les structures de données.
Contrôle : retour-arrière, coupure.
Les entrées/sorties.
Prédicats pré-définis.
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