Introduction to Turbo Prolog - Townsend, Carl (s.n.)