Programming in Prolog - Clocksin, W.F. (New Delhi Narosa, 1984)