Using Turbo prolog - Robinson, Phillip R. (Osborne McGraw-Hill, 1987)