Introduction to Turbo prolog - Townsend, Carl (B P B, 1988)