INTRODUCTION TO TURBO PROLOG - TOWNSEND, CARL (NEW DELHI BPB PUBLICATIONS, 1993)