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
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] 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 pour le sudoku  
TP7 Projet 2    

 

Le site web de SwiProlog
La doc SWI-Prolog en PDF

= fichier en ligne
= fichier pas en ligne

Dernière modification de la page le 8 novembre, 2019