Programmation logique

Objectifs de l’enseignement :

• Initiation à la programmation en logique : application de certaines notions vues en cours de logique,
• Découverte de la programmation en Prolog : utilisation d’exemples liés aux cours de théorie des langages et d’analyse et

Connaissances préalables recommandées :

Avoir des connaissances en logique mathématique.

Contenu de la matière :

1. Introduction à la programmation logique : langage PROLOG
2. Principales caractéristiques de ce type de programmation
3. Syntaxe et structures de données – opérateur de coupure
4. Sémantique des programmes PROLOG
5. Le problème de la négation en PROLOG : l’hypothèse du monde clos et la négation par échec.
6. Utilisation de la méthode de résolution dans l ‘implantation machine de ce type de langage.

Mode d’évaluation :

Examen (50%), contrôle continu (50%)

Références bibliographiques :

• Chazarain, Programmer avec SCHEME . De la pratique à la théorie. Thomson International,
• Programmer en logique. Masson, 1987
• Weis & Leroy. Le langage CAML. Interéditions,
• Giannesini, H. Kanoui, R. Pasero et M. Van Caneghem, Prolog, InterEditions, 1985.
• W. Lloyd, Fondements de la programmation en logique, Eyrolles, 1984.