Université Lyon 1 - Licence Sciences et Technologies

UE LIFprolog : Programmation Logique (INF2013L)

Contact : Nathalie Guin

Organisation de l'UE

Supports pédagogiques

Planning des cours, TD et TP pour le semestre d'automne 2026

Modalités de contrôle des connaissances :
Les compétences à acquérir dans cette UE sont les suivantes :

• C1 Interroger une base de faits Prolog
• C2 Ecrire en Prolog un prédicat récursif (par exemple un parcours de liste)
• C3 Utiliser la recherche dans un graphe d'états pour résoudre un problème
• C4 Résoudre un problème de satisfaction de contraintes

La note de l'UE est la moyenne des notes suivantes :

• test de CC (coefficient 20) | Compétences C1 et C2
• TP noté en conditions d'examen (TP 5, coefficient 30) | Compétences C1, C2 et C4
• Examen terminal (coefficient 50) | Compétences C1, C2, C3 et C4

Cette UE n'est pas évaluée en contrôle continu intégral, mais en contrôle continu (50%) + examen terminal (50%). La seconde session a donc lieu au mois de juin, après le jury d'année, et seuls les étudiants n'ayant pas validé l'UE peuvent s'y présenter.