Ceci est une ancienne révision du document !
Table des matières
Introduction à Prolog
Supports de cour
Travaux pratique en Prolog
L'objectif de ces TPs est découvrir la programmation par contrainte.
Nous utiliserons pour cela le langage Prolog, et pour les plus rapides la librairie Pyke en Python.
Prise en main
Problème
Nous allons traiter un cas concret de planification de tâches appliqué à la robotique.
Énoncé
Une école dispense des cours dans des salles informatiques équipées d'ordinateurs.
L'objectif est qu'avant chaque cours, tous les ordinateurs soient allumés et qu'une bouteille d'eau soit disponible pour l'enseignant.
L'école dispose d'un robot capable d'allumer un ordinateur s'il est éteint, et d'apporter une bouteille d'eau dans une salle.
Les créneaux de cours sont les suivants:
- 7h00-8h00: libre (pas de cours)
- 8h00-10h00;
- 10h-10h15: pause (toutes les salles sont inoccupées);
- 10h15-12h15;
- 12h15-13h30: pause
- 13h30-15h30;
- 15h30:15h45: pause
- 15h45-17h45;
- 17h45-18h30: pause
L'objectif est de fournir un planning au robot permettant d'allumer avant chaque cours les machines et de fournir une bouteille d'eau.