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