Advanced turbo prolog - Schildt Herbert (California, USA Osborne McGraw-Hill, 1987)