Programming in prolog - Clocksin, William F. 1955- (Springer, 1984)