Prolog programming and applications - Burnham, W. D. (Macmillan computer science series, 1985)