Le document présente les différentes manières d'utiliser l'interpréteur SWI-Prolog, y compris son installation, l'utilisation d'éditors de texte, et la création de fichiers de faits. Il explique également les concepts fondamentaux du langage Prolog tels que les faits, les règles, les requêtes, et la gestion des variables, ainsi que des exemples pratiques pour démontrer ces notions. De plus, il couvre des fonctionnalités avancées comme le débogage, l'utilisation des listes, et le prédicat de coupure.