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 :

  • 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 compilation.

  • Plan du cours et sujets des TD/TP :

  • C1 : Programmation logique et Prolog (Transparents PowerPoint du cours)
    TD1 : premiers pas en Prolog (Sujet)
  • C2 : Bases du langage Prolog (structures de données simples)et Aspects avancés de Prolog (règles prédéfinies, entrées-sorties, mise au point des programmes)(Transparents PowerPoint du cours)
    TD2 : Devoir sur feuille, suite du TD1 (sujet, corrigé)
  • C3 : Les listes (Transparents PowerPoint du cours)
    TD3 : Création et manipulation de listes (sujet)
  • C4 : Termes préfixés et N-Uplets (Transparents PowerPoint du cours)
    TP4 : Découverte de Gnu Prolog, Manipulation des N-Uplets et des arbres (sujet)
  • TP5 et TP6 : TP sur deux séances (sujet et correction)

  • Notes :

  • Contrôle continu et partiel (notes)

  • Bibliographie :

    Parmi tous les ouvrages sur ce sujet, j'ai retenu :
  • J. W. Lloyd, Fondements de la programmation en logique, Eyrolles, 1984.
  • F. Giannesini, H. Kanoui, R. Pasero et M. Van Caneghem, Prolog, InterEditions, 1985.

  • Contrôle des connaissances :

    La note finale prendra en compte :
  • pour 70% l'examen final
  • pour 30% la note obtenue à un des TD/TP pondérée par les notes de présence et de participation.

  • Propositions de Travail d'étude :

  • Prolog et les systèmes experts. Il s'agit de définir la notion de systèmes experts, puis de présenter l'utlisation de Prolog dans ce domaine. On pourra par la suite développer un état de l'art ainsi qu'une étude de cas.
  • Prolog et la programmation par contrainte. Il s'agit de faire le lien entre le cours de Programmation logique en Prolog et le cours de maitrise de Programmation par contraintes en présentant tout d'abord brièvement la programmation par contraintes et les modifications qui ont été apportées à la version étudiéee de Prolog afin de pouvoir considérer les contraintes. On pourra alors rédiger un état de l'art de l'utilisation de Prolog en programmation par contraintes et étudier un exemple plus précis d'utilisation.

  • Contacts :

  • Mail : Marjorie Russo
  • Tel : 04-92-38-75-58 (quand je suis à Sophia Antipolis)
  • Courrier : INRIA,
    Unité de Sophia-Antipolis



    Projet OASIS
    2004, route des Lucioles, B.P. 93,
    06902 Sophia Antipolis, Cedex
    FRANCE


  • Last modified: Thu Jun 7 16:48:09 MEST 2001