Programming in Prolog 2. ed. - Clocksin, William F. (Springer, 1984)