Introduction to Turbo Prolog - Townsend, Carl