micro-PROLOG: Programming in Logic - Clark KL; McCabe FG (PHI New Delhi, 1987)