Programming in prolog - Clocksin, W.F (New Delhi Narosa, 1994)