I think this book is a must to learn Prolog. With a clear style we come not only to admire the beauty (syntactic and semantic) and the power of language, but also the deep mechanisms of language. The exercises are well chosen the plan is coherent, well qu'itératif. All elements of the language as well as conventional applications are processed. To read!