Using Turbo Prolog - Rich, Kelly (Osborne McGraw-Hill, 1988)