IP5002 - Programmation logique
Objectifs
Objectif général :
Comprendre la sémantique et maîtriser la syntaxe de Prolog pour appréhender le paradigme de la programmation déclarative.
Objectifs détaillés :
Maîtriser les constructions syntaxiques (atomes, variables, termes, listes, structures de données et buts) et logiques
(littéraux, formules, règles, clauses, prédicats, disjonction, requêtes) de la programmation logique. Comprendre la
sémantique opérationnelle de la résolution d'une requête (succès et échec, unification, résolution, backtracking,
récursivité, négation par l'échec, coupure). Maîtriser l'utilisation de Prolog comme système expert, base de données et
système de programmation par contraintes.
Place dans le cursus
Doit se situer avant le cours de Programmation par Contraintes.
Volume horaire (h)
- Cours magistraux : 10
- Travaux dirigés : 8
Examens
Nombre total d'heures d’évaluation : 2
Ce cours fait partie de la formation
En bref
Crédits ECTS : Cf UE
Nombre d'heures 20