Introduction to Turbo prolog - Townsend, Carl, 1938- (Sybex ; BPB publications, 1988)