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