The professional programmers guide to Prolog - Hamilton, Alan G. (Pitman, 1989)