Advanced turbo prolog programming - Shafer, Dan (Sams, 1987)