Introduction to TURBO-PROLOG - Townsend, Carl . (B P B Publishers, 1988)