Introduction to Turbo Prolog - Townsend, Carl (Sybex, Inc., 1987)