Université Lyon 1 - Licence Sciences et Technologies

UE LIFprolog : Programmation Logique (INF2013L)

Contact : Nathalie Guin

 

Organisation de l'UE

Supports pédagogiques

 

 


Printemps 2025


8h-9h30 9h45-11h15 11h30-13h
30/01
C1 : rappels de logique pour Prolog C2 : débuts en Prolog
06/02 C3 : listes TP1, débuts en Prolog, listes suite TP1
13/02
C4 : tris et arbres en classe inversée TP2 : tris, arbres
20/02
TP3 : cryptarithmétique, zèbre suite TP3
27/02
retour TP3, test CC, C5 : sortir de Prolog pur C6 coupure
06/03 Vacances d'hiver

13/03 TD soutien TP4 : labyrinthe, coupure suite TP4
20/03
TP5 : TP de contrôle TD correction du TP de contrôle
27/03
C7 : applications d'Intelligence Artificielle
03/04
TP6 : recherche dans un graphe d'états suite TP6
10/04
TP7 : CSP suite TP7
17/04
TD révisions
24/04
ECA

01/05 Vacances
de printemps

 

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