ELFE

Responsables

• Cédric Lhoussaine
• Eric Wegrzynowski

Volume horaire

Cette unité se déroule au S6 de la licence LST A - mention Informatique. Il s'agit d'une UE obligatoire de cette mention. L'enseignement est organisé sous la forme d'une séance de cours de 1h30 par semaine, d'un TD de 1h30 par semaine et d'une séance de TP de 2h par semaine.

Crédits

5 ECTS

Objectifs

L'objectif prinicipal de cette unité est la présentation d'autres paradigmes de programmation et de leurs fondements théoriques. A l'issue de cette UE l'étudiant aura un premier aperçu des paradigmes logique, ou "comment utiliser la logique des prédicats pour faire du calcul", et fonctionnel, ou "comment utiliser le lambda-calcul pour faire du calcul".

Contenu

Programmation logique

Contenu

• Logique du 1er ordre
• Résolution
• Le langage Prolog
  • clauses de Horn
  • unification
  • SLD résolution
  • négation par l'échec
  • les listes
  • opérateur de coupure

Bibliographie

• Prolog, tout de suite!, P. Blackburn, J. Bos et K. Striegnitz, College Publications.
  Une version anglaise est en accès libre ici.
• Logique, réduction, résolution, R. Lalement. Éditions Masson.
• Logique et fondements de l'informatique, R. Lassaigne, M. de Rougemont. Éditions Hermes.

Programmation fonctionnelle

Contenu

• Fondements théoriques de la programmation fonctionnelle : éléments de lambda-calcul
• Typage simple, inférence de types, types polymorphes
• Programmer avec des fonctions
• Ordre supérieur et fonctionnelles
• Le langage OCaml (son aspect fonctionnel uniquement)

Bibliographie

• Sur le lambda-calcul:

  An introduction to Lambda Calculus for Computer Scientists. Chris Hankin, King's College LONDON Publications.

• Pour découvrir et approfondir la connaissance du langage OCaml:

  Développement d'applications avec Objective Caml, Chailloux, Manoury et Pagano, O'Reilly.

• Pour situer la programmation fonctionnelle par rapport à la programmation impérative et la programmation objet:

  Programmation fonctionnelle, generique et objet, Philippe Narbel, Vuibert.

L'évaluation s'effectue suivant une procédure de contrôle continu.

Trois notes seront attribuées à chaque étudiant durant le semestre :

• DS1: une note sur 20 de devoir surveillé sur la partie Programmation Logique
• DS2 : une note sur 20 de devoir surveillé sur la partie Programmation Fonctionnelle.
• TP : une note sur 20 pour les TP rendus.

La note finale sur 20 (N) est calculée comme une moyenne de ces trois notes :

N= (DS1+DS2+TP)/3

Pour la seconde session d'examen, les notes DS1 et DS2 sont remplacées par la note obtenue lors de la seconde session.

L'unité acquise apporte 5 ECTS.

Annales

• Examens 2010-2011
  • Programmation logique :
    • 1ere session
    • 2eme session
• sujet et correction de l'interro de PL du 3 novembre 2005.
• devoir de PF, novembre 2005 sujet et correction
• devoir de PL, décembre 2005 sujet et correction
• janvier 2006 - première session
  • programmation logique sujet, une correction
  • programmation fonctionnelle sujet et correction
• Examens 2006-2007
  • Première session
    • Programmation logique : sujet seul
    • Programmation fonctionnelle : sujet seul, sujet avec corrigé
• Examens 2007-2008
  • Première session
    • Programmation logique : sujet seul, sujet avec réponses,
    • Programmation fonctionnelle : sujet seul, sujet avec corrigé

  Programmation logique

  Documents de cours

  • l'algorithme de résolution avec un exemple d'illustration (étudier l'arbre de résolution fourni et le déroulement pas à pas de l'algorithme en parallèle)

  Configuration de SWI-PROLOG

  Fichier de configuration à ajouter dans son répertoire personnel : .plrc, dont le contenu est

  :-  set_prolog_flag(prompt_alternatives_on, groundness).
  

  Mode Prolog pour Emacs

  • récupérez le fichier prolog.el ici
  • ajoutez les lignes suivantes dans le fichier .emacs situé à la racine de votre répertoire personnel (ou créez le si il n'existe pas).
    (setq load-path (cons "LE REPERTOIRE QUI CONTIENT prolog.el" load-path))
(autoload 'prolog-mode "prolog" "Major mode for editing Prolog programs." t)
(setq auto-mode-alist (cons '("\\.pl\$" . prolog-mode) auto-mode-alist))
(setq prolog-system 'swi)

    Le mode sera activé automatiquement pour un fichier d'extension .pl (il peut éventuellement venir en conflit avec un mode pour le langage Perl).
  • Vous pouvez utiliser les menus proposés, notamment le menu Prolog (NB : dans un menu C-c signifie Ctrl-C et M-x signifie Esc x).

  Autres ressources

  • le site de référence de SWI-Prolog
  • Ninety-nine Prolog problems
  • Learn Prolog Now! livre sur Prolog en ligne.

  Programmation fonctionnelle

  Mode Caml pour Emacs

  • récupérez le fichier tuareg-mode-1.45.5 ;
  • décompressez-le dans un dossier de votre dossier personnel ;
  • ajoutez les lignes suivantes dans le fichier .emacs situé à la racine de votre répertoire personnel (ou créez le si il n'existe pas).
    (setq load-path (cons "LE REPERTOIRE QUI CONTIENT tuareg.el" load-path))
(setq auto-mode-alist (cons '("\\.ml\\w?" . tuareg-mode) auto-mode-alist))
(autoload 'tuareg-mode "tuareg" "Mode majeur pour ï¿œditer du code Caml" t)
(autoload 'camldebug "camldebug" "Exï¿œcuter le dï¿œbogueur Caml" t)
    Le mode sera activé automatiquement pour un fichier d'extension .ml.
  • Vous pouvez utiliser les menus proposés, notamment le menu Tuareg (NB : dans un menu C-c signifie Ctrl-C et M-x signifie Esc x).

  Autres ressources

  • Le site de référence d'Objective Caml
  • Le manuel de référence d'Objective Caml
  • La librairie standard d'Objective Caml
  
  dernière modification : 02/02/2012 à 18:19:50