Advanced Turbo PROLOG: Version 1. 1 (Borland-Osborne/McGraw-Hill programming series)