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