Université Lyon 1 - Licence Sciences et Technologies

UE LIFprolog : Programmation Logique (INF2013L)

Contact : Nathalie Guin

 

Organisation de l'UE

Supports pédagogiques

 

 


Automne 2026


8h-9h30 9h45-11h15 11h30-13h
10/09
CM : débuts en Prolog CM : listes
17/09
TD Listes
24/09
TP1 : débuts en Prolog,listes suite TP1
01/10 Travailler la vidéo du cours sur les tris et les arbres TP2 : tris, arbres suite TP2
08/10
TP3 : cryptarithmétique, zèbre suite TP3
15/10
retour sur le TP3, test CC,
CM : sortir de Prolog pur
CM : coupure
22/10 TP4 : labyrinthe, coupure suite TP4 TD soutien
29/10
Vacances
05/11
TP5 : TP noté TD correction du TP noté
12/11
CM : applications d'Intelligence Artificielle
19/11
TP6 : recherche dans un graphe d'états suite TP6
26/11
TP7 : CSP suite TP7
03/12
TD révisions
10/12
Examen terminal

 

Dernière modification de la page le 8 septembre 2026