Advanced Turbo prolog, version 1.1 - Schildt, Herbert (Borland-Osborne/McGraw-Hill programming series, 1987)