Cours de Programmation Logique et Prolog
Ce cours est donné en licence d'informatique à l'Université de Nice - Sophia Antipolis.
Il s'agit d'une option proposée dans le cadre du module Théorie et Modèles pour l'Informatique II.
Cette option est composée de 5 séances de 2h de cours et de 5 séances de 2h de TD/TP.
Les cours commenceront le lundi 26 mars 2001.
But du cours :
Plan du cours et sujets des TD/TP :
Notes :
Bibliographie :
Parmi tous les ouvrages sur ce sujet, j'ai retenu :
Contrôle des connaissances :
La note finale prendra en compte :
Propositions de Travail d'étude :
Contacts :
Last modified: Thu Jun 7 16:48:09 MEST 2001