Langages : Prolog-Lisp [T8IS513M]

Langages : Prolog-Lisp [T8IS513M]

En pratique

Nature
Elément constitutif
Volume horaire de TP
12
Volume horaire de CM
18
Volume horaire de travail personnel
20
Langue d'enseignement
Français

Description du contenu de l'enseignement

Ce cours est une double introduction à la programmation logique avec Prolog et à la programamtion fonctionnelle (Lisp). Il présente des mécanismes d'exécution non présents dans les formes de programmation usuelle. Les concepts présentés peuvent trouver des applications dans d'autres contextes informatiques et méritent donc d'être connus même si ces formes de programmation restes confidentielles dans les applications commerciales développées.

This course introduces logical and functionnal programming with Prolog ans Lisp. It features execution mechanisms not present in the usual forms of programming. The highlighted concepts may be remployed in other IT contexts and therefore deserve to be known even if these forms of programming remain confidential in commercial software.

Organisation

Modalités d'organisation et de suivi

Partie A - Prolog
1) Présentation intuitive
2) Syntaxe et unification
3) Sémantiques déclarative et opérationnelle
4) Bases de la programmation en Prolog
5) Programmation avancée

Partie B - Lisp
1) Eléments de programmation fonctionnelle
2) Etats et approche objet
3) Programmation avancée

 

Part A - Prolog
1) An intuitive presentation
2) Syntax and unification
3) Declarative and operational semantics
4) Fundamentals of Prolog programming
5) Avanced programming

Partie B - Lisp
1) Elements of  functional programming
2) States and object oriented approach
3) Avanced programming

Informations pédagogiques

Compétences à acquérir

  • Maîtriser l'unification entre des arbres de données (programmation logique)
  • Maîtriser l'évaluation des expressions (programmation fonctionnelle)

 

  • Tree data structures unification
  • Expression evaluation

 

 

Pré-requis recommandés

Aucun

None

Bibliographie, lectures recommandées

  • http://www.gprolog.org/
  • https://racket-lang.org/

 

Dernière modification : mer, 06/01/2021 - 15:10