Programming in Prolog - Clocksin, William F. (Springer, 1987)