Prolog by example. How to learn, teach and use it - Coelho, Helder (Springer, 1988)