Université Lyon 1 - Licence Sciences et Technologies

UE LIFprolog : Programmation Logique (INF2013L)

Contact : Nathalie Guin

 

Organisation de l'UE

Supports pédagogiques

 

 


Printemps 2026


8h-9h30 9h45-11h15 11h30-13h
22/01
C1 : débuts en Prolog C2 : listes
29/01 TD Listes
TP1, débuts en Prolog, listes suite TP1
05/02
C4 : tris et arbres en classe inversée TP2 : tris, arbres
12/02 Trouve  ton master

19/02 Vacances  d'hiver

26/02
TP3 : cryptarithmétique, zèbre suite TP3
05/03
retour TP3, test CC, C5 : sortir de Prolog pur C6 coupure
12/03 TD soutien TP4 : labyrinthe, coupure suite TP4
19/03
TP5 : TP de contrôle TD correction du TP de contrôle
26/03
C7 : applications d'Intelligence Artificielle
02/04
TP6 : recherche dans un graphe d'états suite TP6
09/04
TP7 : CSP suite TP7
16/04 Vacances  de printemps

23/04
TD révisions
30/04
ECA

 

Dernière modification de la page le 9 avril, 2021