Le cours de programmation en logique dispensé à l'école des Mines de Nantes est un module optionnel de trente heures proposé en troisième année. On trouvera dans [Jussien, 2003] une présentation détaillée de ce cours.

Cette page propose à la libre disposition de tous les transparents du cours ainsi que les divers sujets de TP proposés. Une correction pour ces derniers est disponible sur demande à Narendra Jussien.

fake Transparents fake

Les transparents du cours sont disponibles sous la forme d'un fichier powerpoint de . Une bibliographie sommaire est disponible ici.

Travaux Pratiques

TP (1h15) premiers pas avec Prolog arithmétique réversible et manipulations de listes TP (1h15) graphes en Prolog manipulations de graphes orientés/non orientés, pondérés ou non TP (2h30) Césure un outil pour la césure automatique des mots de la langue française TP (2h30) Et si on jouait ? Dominos, pions noirs et blancs et carrés magiques TP (3h45) Un système expert Réalisation d'un système expert complet (y compris trace, module pourquoi et module comment) de reconnaissance d'annélides polychètes TP (2h30) Méta-programmation Réalisation d'un méta interprète Prolog pour une trace évoluée, réalisation d'un interprète en largeur d'abord TP (3h45 +) Sorites Résolution automatisée d'énigmes logique de types sorite de Lewis Carroll TP (3h45 +) Programmation par contraintes Réalisation d'un solveur de contraintes (d'égalités, d'inégalités, d'intervalles) en Prolog

Last modified: Thu Apr 17 09:25:55 Paris, Madrid (heure d'été) 2003 par Narendra Jussien