Programmation logique et fonctionnelle

Objectifs

Comprendre les concepts élémentaires de la programmation logique (mécanismes de la résolution SLD).
Comprendre les concepts fondamentaux de la programmation fonctionnelle (fonctions, récursivité et filtres).
Maîtriser la manipulation des structures de données élémentaires (liste, arbre et graphe) en programmation logique et fonctionnelle.
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.

	Langue(s) d'enseignement	Français
	Ouvert aux étudiants en échange	Oui