PROGRAMMING IN PROLOG - CLOCKSIN,WILLIAM F, MELLISH,CHRISTOPHER S (SV BERLIN, 1981)