Programmation logique

- Présentation du cadre théorique de la programmation logique et comparaison avec les autres grands paradigmes de programmation.
- Présentation de la programmation en clauses de Horn (et de sa sémantique via la règle de SLD).
- Présentation du langage Prolog (et de ses composantes extra logiques).

Notions et contenus
Fondements de l’informatique

Compétences
Comprendre les notions de langage logique, d’interprétation et de preuve de la logique du premier ordre.

Ressource en ligne disponibles
Numéro de cours sur Moodle - 24032

- Comprendre les concepts élémentaires de la programmation logique (mécanismes de la résolution SLD).
- Maîtriser la manipulation des structures de données élémentaires (liste, arbre et graphe) en programmation logique.
-Maîtriser le parcours d’un espace de recherche décrit en extension.
- Comprendre la notion de négation par l’échec.
- Comprendre les points communs et les différences entre les différents paradigmes de programmation.