Programming in prolog - Clocksin, W.F; Mellish C S. (New Delhi Narosa publishing house, 2002)