Licence MIASHS 2

Prolog

Programmation Logique           

Cours

  1. Introduction à la programmation logique  
  2. Le langage Prolog  
  3. Les listes en Prolog - Notion de coupure - Résolution d'intégrammes   Principaux prédicats prédéfinis pour les listes  
  4. Les graphes et arbres en Prolog, compléments  
  5. Grammaires et automates d’états finis en Prolog   
    6. Rappels de logique pour Prolog
    Petits exercices de logique

Examen de Contrôle continu 2019 

Examen final 2019  

Travaux Dirigés

  1. TD n°1  
  2. TD n°2
  3. TD n°3
  4. TD n°4  
  5. TD n°5  

Travaux pratiques

  1. TP n°1   fichiers utiles pour le TP : astronomie.pl  menu.pl  famille.pl  
  2. TP n°2  
  3. TP n°3
  4. TP n°4   fichiers utiles pour le TP : mots3lettres.pl  labyrinthe.pl
  5. TP n°5   fichier utile pour le TP : grammaire.pl

Téléchargement de SWI-Prolog   Swi-PrologVersion portable de SWI-Prolog (version 8.2.1-1)

Tutoriel Prolog en français

Learn Prolog Now!