Programming In Prolog - Clocksin, W F (Nurosa Publishing House, 1993)