Chapitres 1 et 2 - Logique de propositions et de prédicats
Chapitre 3 - Systèmes Experts
Chapitre 4 - Prolog