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
