PROLOG

   1 Introduction

   2 Clauses de Horn, variables et constantes

   2.1 Clauses de Horn

   2.2 Expressions de faits

   2.3 Question ou théorème à démontrer

   2.4 Variable

   2.5 Non-déterminisme

   2.6 Conjonction de questions

   2.7 Introduction de règles de déduction

   2.8 Union de questions

   2.9 Définition récursive de prédicat

   3 Listes

   3.1 Variables et listes. Notion d'unification

   3.2 Exemple classique: concat (x, y, z)

   3.3 Pouvoir d'expression comparé des prédicats

   3.4 Autre exemple nécessitant cette fois la négation

   4 Arbres

   4.1 Arbres représentés par une liste de listes

   4.2 Forme générale des termes

   4.3 Unification

   5 Domaine d'application classique: analyse syntaxique ettraduction

   5.1 Spécification de l'analyseur

   5.2 Construction de la traduction

   5.3 Problème pratique posé par l'exécution d'une telle spécification

   5.4 Modification de la traduction

   6 Primitives de contrôle et entrées-sorties

   6.1 Slash ou coupure

   6.2 Réalisation (incomplète) de la négation

   6.3 Prédicats pris et libre

   6.4 Entrées-sorties

   6.5 Prédicats ajout et supprimer

   7 Notions sur la mise en œuvre et les performances

   8 PROLOG et démonstration de théorèmes

   8.1 Problème

   8.2 Résolution

   8.3 Preuve par réfutation

   9 Conclusion

   Bibliographie