Université Lyon 1 - Licence Sciences et Technologies
UE LIFprolog : Programmation Logique (INF2013L)
Contact : Nathalie Guin
Les supports de cours-TD
| Cours 1 | Rappels de logique pour Prolog | [PDF]
 |
|
| Cours 2 | Débuts en Prolog, listes | [PDF]
|
|
| Cours 3 | Exemples : tris, arbres |
Vidéo cours tris Vidéo cours arbres |
[PDF] |
| Cours 4 | Sortir de Prolog pur | [PDF]
|
|
| Cours 5 | Applications d'Intelligence Artificielle | Vidéo cours IA Le code écrit en cours |
[PDF] |
Sujets et corrigés de TP
Les corrigés sont destinés à donner des pistes à ceux qui ont été bloqués en TP. Ils ne constituent pas la seule solution aux problèmes posés. Ils sont mis en ligne une semaine après les séances de TP pour vous laisser le temps de chercher par vous-même.| TP1 | Débuts en Prolog, listes | [PDF] Pour bien comprendre l'unification et la représentation des listes, vous pouvez faire les exercices sur ASKER |
Corrigé
|
| TP2 | Tris, arbres, ensembles | [PDF] |
Corrigé
|
| TP3 | Cryptarithmétique, zèbre | [PDF] |
Corrigé
|
| TP4 | Labyrinthe, coupure | [PDF] |
Corrigé
|
| TP5 | TP noté | ||
| TP6 | Recherche dans un graphe d'état | ||
| TP7 | CSP |
Le site web de SwiProlog
La doc
SWI-Prolog en PDF
=
fichier en ligne
= fichier
pas en ligne