Programming in Prolog - Clocksin, W. F. (William F.) 1955- (Springer-Verlag, 1987)