MICRO-PROLOG: PROGRAMING IN LOGIC - CLARK K L & MCLABE F G (PRENTICE HALL OF INDIA, 1987)