IP5002 - Programmation logique

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

Contact(s)

Nicolas BARNIER

Tél : +33 5 62 25 95 06

Email : nicolas.barnier @ enac.fr