Programming in Prolog - Clocksin, W. F.; Mellish, C. S. (Springerï1/2Verlag, 2003)