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