Programing in prolog - Clocksin, William F. (Springer Verlag, 1981)