Introduction to Turbo Prolog - Townsend,Carl (BPB Publications, 1988)