PROGRAMMING IN PROLOG - CLOCKSIN,W.F, MELLISH,C.S (UOP PHILADELPHIA, 1986)