Using turbo prolog - Robinson, Phillip R. (Osborne MacGraw-Hill, 1987)