TP de Prolog Université de Paris 13 2009/2010
-
TP 1: 4 février 2010
utilisation de Swi-Prolog, déclarations, questions, définitions de prédicats, traduction d'énoncés
- TP 2: 11 février 2010
listes
- TP 3: 18 février 2010
arbres binaires
- TP 4: 11 mars 2010
algorithme de la satisfiabilité
- TP 5: 19, 30 mars 2010
arbres n-aires
- TP 6: 8 avril 2010
ensembles
- PROJET: dernier délai 22 mai
sujet
Vous devrez rendre d'ici le 22 mai par email à votre responsable de TP (Michele Pagani: michele.pagani at lipn.univ-paris13.fr ou Mario Valencia Pabon : valencia at lipn.univ-paris13.fr), un fichier .tar.gz contentant :
-
un rapport en format pdf détaillant précisément le travail effectué et les choix d'implémentation ;
-
un fichier .pl contenant le code correspondant aux exercices des sections 2 et 3, en
suivant rigoureusement l'énoncé, et sans aucune extension ;
-
un fichier README expliquant les commandes à taper pour exécuter votre programme ProLog.
Soutenance prevue le 27 mai 2010 (l'horaire des soutenances sera communiqué sur ce page).