Programmation algébrique et logique

UCL-INGI-2531 -- Y. Deville -- 30-15-0 -- Cours de 2ème cycle

Objectif

• Familiarisation avec différents paradigmes de programmation: programmation basée sur des théories algébriques, programmation logique, programmation par contraintes.
• Capacité d'utiliser des méthodes de programmation et des formes spécifiques de raisonnements sous-jacents à l'utilisation de ces paradigmes. Capacité d'utiliser ces paradigmes pour résoudre certaines classes de problèmes.

Prérequis

• Notions de mathématiques discrètes et des bases logiques de l'informatique.
• Notions de programmation logique

Contenu

• Programmation algébrique: théorie équationnelles, algèbre de processus, programmation fonctionnelle, etc.
• Programmation logique: clauses de Horn, logique constructive, sémantique déclarative et opérationnelle, etc.
• Programmation par contraintes: domaines de calcul, techniques de consistance et de propagation, résolveur de contraintes, etc.
• Méthodes de développement et de conception pour ces paradigmes: construction et vérification de programmes, transformation et synthèse de programmes, etc.
• étude de cas.

Pédagogie

• Le contenu exact du cours sera précisé au début de l'année; certains aspects du contenu seront plus développés que d'autres.
• Pour la partie exercices du cours, chaque étudiants réalisera une application qu'il présentera à la fin du quadrimestre.
• L'examen peut être remplacé par le travail personnel réalisé pendant le quadrimestre et présenté à la fin de celui-ci.

Références

31
J.W. Lloyd. Foundation of Logic Programming. Springer-Verlag, 1987.

32
L. Sterling, E. Shapiro. The Art of Prolog. MIT Press, 1986.

33
F. Fages. programmation logique par contraintes. Elipse, Ecole Polytechnique, 1996.

34
Y. Deville. Logic Programming: Systematic Program Development. Addison-Wesley, 1990.

35
P. Van Hentenryck, L. Michel, Y. Deville. Numerica: A Modeling Language for Global Optimization. MIT Press, 1997.