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