Introduction to turbo prolog - Townsend, Carl . (BPB, 1988)