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