Un excellent livre. Le langage est abordé de manière assez complète.
Le livre analyse à fond diverses stratégies de résolutions de problèmes (différentes formes de récursivité...).
L'execution des programmes est toujours très détaillés, ce qui permet de bien comprendre la manière dont prolog fonctionne (c'est indispensable pour les langages IA).