IP5002 - Programmation logique

IP5002 - Programmation logique

Objectifs

Objectif général :

Expliquer et appliquer la syntaxe et la sémantique d’un langage de programmation logique


Objectifs détaillés :

Historique et bases logiques, connexion avec le cours de logique formelle
Sémantique opérationnelle (contrôle) et syntaxe concrète.
Présentation du langage par l'exemple : « base de donnée », termes, arithmétique, listes, listes en différence, arbres, coupure, négation par l'échec, paradigme «générer et tester», modèle de «boîte» pour la mise au point.
Programmation avancée : méta-interpréteur (continuations de succès et d'échec), coroutines (suspensions, évaluation paresseuse), analyse grammaticale (DCG, arbre syntaxique).

Volume horaire (h)

  • Cours magistraux : 20
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