Prolog by example: how to learn, teach, and use it - Coelho, Helder (Symbolic computation. Artificial intelligence, 1988)