Prolog versus you an introduction to logic programming - Johansson, Anna-Lena; Eriksson-Granskog, Agneta; Edman, Anneli (Springer, 1989)