Outils pour utilisateurs

Outils du site


enseignement:masters:resume-prolog

La page du cours

Contenu du cours:

Prolog:

•Syntaxe et sémantique opérationnelle.
•Fondements logiques et sémantique déclarative.
•Modélisation de problèmes en Prolog.
•Récursion, listes.
•Contrôle: cut et négation.
•Applications.

Programmation par contraintes:

•Qu’est-ce qu’une contrainte.
•Qu’est-ce un problème de satisfaction de contrainte (CSP).
•Exemple: Coloriage d’une carte.
•Modélisation à l’aide de CSP.
•Algorithmes de résolution de CSP sur domaines finis.
•Programmation par contraintes avec Prolog.
•Résolution de contraintes linéaires (sur les entiers)
enseignement/masters/resume-prolog.txt · Dernière modification: 22/04/20 15:40 par Zielonka