Programmation Logique en 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 TDM

 

Introduction :

Le langage Prolog illustre le concept de programmation déclarative. Il permet en outre de manipuler aisément la structure d'arbre. Ces propriétés, et la potentialité de méta-programmation rendent ce langage particulièrement approprié pour développer des applications en Intelligence Artificielle (représentation et traitement de connaissances)

 

But du cours :

§         Initiation à la programmation en logique : application des notions vues en cours de logique

§         Découverte de la programmation en Prolog : utilisation d'exemples liés à l'Intelligence Artificielle

 

Bibliographie :

§         F. Giannesini, H. Kanoui, R. Pasero et M. Van Caneghem, Prolog, InterEditions, 1985

§         Bratko, Programmation en Prolog pour l'intelligence artificielle, InterEditions, 1988

§         L. Sterling, E. Shapiro, L'art de Prolog, Ed. Masson, 1990

§         P. Collard, Programmation déclarative et impérative en Prolog, Ed. Masson, 1992

 

Contrôle des connaissances :

·  60% l'examen final

·  40% la note obtenue en TPM pondérée par la note de présence et de participation

 

eMail : Philippe Collard