Introduction à l'IA et à 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.

TP découverte de Prolog

Nous allons traiter un cas concret de planification de tâches appliqué à la robotique.

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-10h30: pause (toutes les salles sont inoccupées);
• 10h30-12h30;
• 12h30-13h30: pause
• 13h30-15h30;
• 15h30:16h00: pause
• 16h00-18h00;
• 18h00-19h00: libre (pas de cours)

L'objectif est de fournir un planning au robot permettant d'allumer avant chaque cours les machines et de fournir une bouteille d'eau.

Pour le moment, nous commencerons par considérer:

1. que le robot a besoin de 30 minutes pour s'occuper d'une salle;
2. que l'école dispose uniquement de 4 salles informatiques.

Nous complexifierons les données en fin de TP.

1. Décrivez en prolog une structure permettant de représenter une solution.
2. Créez un but avec cette solution.
3. Affichez la solution (sans contrainte pour le moment).

<spoiler|Structure d'une solution> Il y a plusieurs solutions bien entendu, voici celle que nous utiliserons pour le moment:

plan([
    cr([_,_,_,_,_],r1),
    cr([_,_,_,_,_],r2),
    cr([_,_,_,_,_],r3),
    cr([_,_,_,_,_],r4),
    cr([_,_,_,_,_],r5),
    cr([_,_,_,_,_],r6),
    cr([_,_,_,_,_],r7),
    cr([_,_,_,_,_],r8),
    cr([_,_,_,_,_],r9),
    cr([_,_,_,_,_],r10),
    cr([_,_,_,_,_],r11),
    cr([_,_,_,_,_],r12),
    cr([_,_,_,_,_],r13),
    cr([_,_,_,_,_],r14),
    cr([_,_,_,_,_],r15),
    cr([_,_,_,_,_],r16),
    cr([_,_,_,_,_],r17),
    cr([_,_,_,_,_],r18),
    cr([_,_,_,_,_],r19),
    cr([_,_,_,_,_],r20),
    cr([_,_,_,_,_],r21),
    cr([_,_,_,_,_],r22),
    cr([_,_,_,_,_],r23),
    cr([_,_,_,_,_],r24)
    ]).

Questions auxquelles vous devez pouvoir répondre:

1. pourquoi la liste de la solution comprend 24 lignes ?
2. pourquoi dans cr([liste],valeur), liste a une taille de 5 et non de 4 (pour 4 salles)?
3. à quoi servent les valeurs de variable r1, r2,…,r24?

</spoiler>