Advanced turbo prolog version 1.1 - Schildt, Herbert (Osborne/McGraw-Hill, 1987)