Prolog versus you. An introduction to logic programming - Johanson, A.L; Eriksson-Granskog, A; Edman, A (Springer Verlag, 1985)