Initiation au langage de programmation Prolog, en insistant sur
les grands mécanismes qui distinguent ce langage des autres
langages non impératifs, en particulier l'unification.
On accordera une attention particulière à la pertinence de Prolog pour le traitement de la langue, avec d'une part les DCG, d'autre part la programmation par contraintes.
Sur le plan pratique, on utilisera notre compétence en Prolog pour travailler sur le système développé par Johann Bos, boxer, justement écrit principalement en Prolog.
On accordera une attention particulière à la pertinence de Prolog pour le traitement de la langue, avec d'une part les DCG, d'autre part la programmation par contraintes.
Sur le plan pratique, on utilisera notre compétence en Prolog pour travailler sur le système développé par Johann Bos, boxer, justement écrit principalement en Prolog.
Organisation (indicative) du cours
Le cours cette année sera majoritairement organisé autour de l'ouvrage Learn Prolog Now! (Patrick Blackburn, Johan Bos, Kristina Striegnitz), et du site associé.
| sem. | Date | Type/Lieu | Description |
|---|---|---|---|
| 1 | 16/09/2010 | 155 CdR |
♣ Quelques mots sur la mise en oeuvre collaborative
du site
web du cursus. Répartition des tâches.
♣ Premier contact avec Prolog: Knowledge Bases (1ère série de diapos du cours de Kristina Striegnitz que l'on trouve ICI ♣ Travaux pratiques associés |
| 2 | 23/09/2010 | 155 CdR |
♣ Retour sur l'administration du site web du
cursus. Voir
quelques indications sur
subversion.
♣ Deuxième série de diapos: Matching and Proof Search ♣ Travaux pratiques (suite) |
| 3 | 30/09/2010 | 155 CdR |
♣ Retour sur l'unification: diapos
♠ Définition récursive ♠ Occur check ♠ opérateur = (infixe) ♠ Exemple d'unification sur les têtes de règle ♣ Lists ♣ Travaux pratiques |
| 4 | 155 CdR |
♣ 4e série de diapos: DCG
♣ Travaux pratiques |
|
| 5 | 14/10/2010 | 155 CdR |
♣ 5e série de
diapos: DCG (suite)
♣ Travaux pratiques: création d'une DCG. |
| 6 | 21/10/2010 | 155 CdR | ♣ Chapitre 1: contrôle (I) |
| 7 | 28/10/2010 | 155 CdR (last!) |
♣ Chapitre 1: contrôle (II)
♣ Correction des exercices pratiques |
| 8 | 04/11/2010 | ---------- Pas de séance (déménagement) ---------- | |
| 9 | 11/11/2010 | ---------- Pas de séance (jour férié) ---------- | |
| 10 | 18/11/2010 | 4C92 |
♣ Chapitre 2: prédicats prédéfinis et E/S
Polycopiés: quelques prédicats prédéfinis, entrées/sorties Exerices de programmation : feuille 1, feuille 2 |
| 11 | 25/11/2010 | 4C92 | TP "dictionnaire", à rendre le jour même. Enoncé |
| 12 | 02/12/2010 | 4C92 |
Distribution et commentaire
du corrigé du TP
"dictionnaire".
Exercices: feuille 2 Nouveau TP pour la séance du 16/12: Énoncé (DCG+logique). |
| 13 | 09/12/2010 | ---------- Pas de séance ---------- | |
| 14 | 16/12/2010 | 4C92 |
Séance sur le TP (DCG+logique), à rendre ce même
jour.
(04/01/11): une ébauche de corrigé pour le TP DCG+logique |
Bibliographie
tbaLiens
- Interprète SWI Prolog