Programming in prolog/3rd ed. - Clocksin, W. F. (Narosa, 1989)