Prolog Programming and Applications - Burnham, W. D.; Hall, A. R. (Macmillan Education UK, 1985)