Contents

• Emploi du temps
• Exercices de TDs
• Comment faire du CHIP
• Projet (voir une solutionet des notes provisoires)

Emploi du temps

Les trois groupes, découpés selon l'ordre alphabétique (voir tableau d'affichage), sont encadrés comme suit:

• Groupe 1: Denis Lapoire, salle TD 12 et salle machine I 115;
• Groupe 2: Myriam de Sainte Catherine: salle TD 13 et salle machine I 111;
• Groupe 3: Paul Y Gloess: salle TD 14 et salle machine I 107.

Exercices de TDs

Les solutions à ces exercices seront visibles (à partir de vendredi 15 septembre 2000) dans le répertoire ~gloess/chip/clp/solutions:

• champions.pl résoud le problème de la médaille d'or en CLP(FD);
• compiler.pl utilise la technique des grammaires de métamorphose (Alain Colmerauer) pour compiler des expressions algébriques en formes LISP;
• criver.pl donne une solution CLP(FD) au problème du fermier, de la chèvre, du loup et du chou;
• init.pl généralise la somme 1+...+N dans les entiers (prédicat "sumto" du cours) aux rationnels (prédicat "sumto2");
• map.pl traite le problème du coloriage de la carte de Yougoslavie avec une solution en CLP(FD) et une solution en Prolog pur;
• money.pl résoud le puzzle "SEND+MORE=MONEY" en CLP(FD);
• nqueens.pl résoud le problème des N reines en CLP(FD);
• river.pl traite le problème du fermier, de la chèvre, du loup et du chou en Prolog pur avec:
• une version sémantiquement correcte et complète mais non opérationnelle;
• divers moyens d'obtenir la terminaison en contournant la stratégie de Prolog standard tout en restant en Prolog pur;
• spriver.pl traite le même problème en Prolog standard, en semant des cailloux comme le petit poucet pour éviter de repasser par un état déjà rencontré, ce qui donne une solution très efficace, comme criver.pl.

Comment faire du CHIP

Je n'arrive pas à faire marcher ce lien vers /opt/chip52/Documentation/on-line.htm correctement: Documentation CHIP : la page de Cosytec apparait, mais ensuite les liens internes à cette page ne fonctionnent pas!

Back to Top

Projet

• Chess.ps contient le sujet du projet au format postscript: Attention! Par suite d'un bug, les caractères ">=" ou ">" n'apparaissent pas toujours sous "ghostview" devant la lettre grecque "beta" sur le schéma du minimax alpha beta en Page 3;
• Chess.doc est le fichier Word (créé sur un Macintosh de Apple) qui a permis d'engendrer Chess.ps (sous Microsoft Windows) grâce à la machine Citrix ICA de l'ENSERB (commande "cica" sous Solaris). [Le caractère ">" a dû être remplacé par ">=" car il n'apparaissait pas sous Word.]

• demo.pl: la racine de l'ensemble des fichiers CHIP, avec des commentaires pour lancer le tout sous CHIP;
• chess.pl: les règles du jeu d'échec (avec un échiquier de taille paramétrable) pour une fin de partie avec Roi-Tour contre Roi-Tour (j'avoue que mon implantation ne respecte pas strictement les règles véritables, car elles permettent à un roi de se mettre en échec, et donc de se faire manger au coup suivant);
• display.pl: l'affichage de l'échiquier à l'écran;
• minimax_alpha_beta.pl: le minimax alpha beta;
• predcall.pl: application d'un prédicat Prolog binaire ou ternaire à des arguments.

Des notes provisoires (avant confirmation par le jury) sont maintenant disponibles (intranet uniquement).

Le projet est à faire par binôme: un trinôme au plus est autorisé. La liste des binômes et de l'éventuel trinôme pour l'ensemble des groupes doit être communiquée électroniquement aux trois intervenants, avec copies à Madame Francoise Verdier (Secrétariat de la Filière Informatique, S226) et à Monsieur Michel Pallard, au plus tard le vendredi 15 septembre 2000 à 23h59. Les binômes et l'éventuel trinôme peuvent être constitués de manière quelconque, et en particulier à cheval sur plusieurs groupes de TDs. Aucun changement ne sera admis, et tout étudiant non inscrit dans un et un seul binôme ou trinôme aura automatiquement 0 au projet.

La date de remise du projet est fixée au lundi 9 octobre 2000. Celui-ci doit être remis sous les deux formes suivantes:

1. avant 17h chez Madame Francoise Verdier pour la version papier;
2. et avant 23h59 sur le répertoire prévu à cet effet par Monsieur Michel Pallard pour la version électronique.

Back to Top

© Copyright 1999-3000 Paul Y Gloess