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