Université Lyon 1 - Licence Sciences et Technologies
UE LIFprolog : Programmation Logique (INF2013L)
Contact : Marie Lefevre
Last modified :
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 |
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] |
Corrigé |
| TP2 | Tris, arbres, ensembles | [PDF] |
Corrigé |
| TP3 | Cryptarithmétique, zèbre | [PDF] |
Corrigé |
| TP4 | Labyrinthe, coupure | [PDF] |
Corrigé |
| TP5 | TP noté | ||
| TP6 | Projet 1 | ||
| TP7 | Projet 2 |
Le site web de SwiProlog.
La doc
SWI-Prolog en PDF .
La plateforme d'entrainement ASKER : connectez-vous avec vos identifiants Lyon 1 et suivez les étapes.
= fichier en ligne
= fichier pas en ligne