UE INF242 : Logique et programmation logique

Tous les documents de cette page sont au format pdf, sauf certains corrigé de TP, qui sont des textes. Vous pouvez signaler à Michel Levy, toute difficulté pour accéder à ces documents.

Enseignants

Saddek Bensalem
Aldric Degorre
Bernard Geneves
Michel Levy : reponsable de l'UE
Jeanne Paumier
Pour les contacter par courriel : Prenom.Nom@imag.fr

Cours

Examen terminal 2006, première session

Partiel 2007

sujet et corrigé

Examen terminal 2007, première session

TPs et TDs

TD1 , TD2 , TD3 , TD4 ,TD5 , TD6 ,TD7 ,TD8 , TD9
TP1 , TP2 , TP3 , TP4 ,TP5 , TP6 ,TP7

TD

retour à l'entête

TP

Pour tracer les arbres d'exploration sur un gprolog installé sur vos ordinateurs personnels, il suffit de récupérer le programme search_tree.pl et de le consulter sous gprolog.
Pour le consulter, faites exécuter la requête [search_tree], ou s'il en est besoin, préciser le chemin complet d'accès au fichier, par exemple sous Windows :
['C:\Document and Settings\User\search_tree'] retour à l'entête