Introduction to turbo prolog - TOWNSEND, Carl. (New Delhi. BPB Pub., 1988)