Université Lyon 1 - Licence Sciences et Technologies

UE LIFprolog : Programmation Logique (INF2013L)

Contact : Nathalie Guin

 

Organisation de l'UE

Supports pédagogiques

 

 

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