Introduction to Turbo Prolog - Townsend Carl 1938- (SYBEX, 1986)