EPITA

[PLOG] Introdution à Prolog et à la programmation logique

Jean-François Perrot


Proposition pour le projet 2011 (mise à jour du 25/05/2011)

J'attends de vous, par voie électronique, un dossier comportant
pour le 10 juillet.

N'hésitez pas à m'écrire si vous en ressentez le besoin.
Je compte améliorer le matériel que je mets ici à votre disposition, tant sur le fond que dans la forme.
Les annonces seront faites sur le fil RSS de cette page.

Pour mémoire : Le contrôle de cette année se fera
sur la base d'un projet sur la preuve de programmes en logique de Hoare
qui sera présenté au cours de la 4ème séance.
Ce projet s'inscrit dans un exposé sur les langages de programmation
dont une partie a été donnée d'août à octobre 2010 à Jodhpur.
C'est principalement l'atelier de manipulation et la collection d'exemples qui nous intéresseront ici.

Notes de cours (HTML)

  1. Cours n°1

  2. Cours n°2

  3. Cours n° 3 : le principe de Prolog
    1. Résolution propositionnelle 
    2. et Passage au 1er ordre

  4. Cours n° 4 :
    1. Grammaires en Prolog, et l'exemple d'un générateur de code
    2. Logique de Hoare

Expérimentation :

  1. Premiers pas

  2. Les exemples du cours n° 1

  3. L'algorithme de Wang

  4. Les exemples du cours n° 2

  5. Les programmes du cours n°3

  6. Les programmes du cours n° 4