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