Advanced Turbo Prolog Programming - Shafer, Daniel G. (Sams and Co., 1987)