Prolog Wizard: A Wilwy Programmer's Reference - Foster, Dennis L. (Wiley, 1987)