An introduction to PROLOG - Ramachandran Bharath (TAB Books, 1986)