Faits et buts
Exercice introductif
Solution
Requêtes sous forme de buts
Exercice introductif
Solution
Clauses
Exercice introductif
Solution
Prédicat défini par plusieurs clauses
Exercice introductif
Solution
Entrées et de sorties
Exercice introductif
Solution
Principe d’évaluation
Exercice introductif
Solution
Récursivité
Exercice introductif
Solution
Négation et jockers
Exercice introductif
Solution
