Programming in Prolog - Clocksin, William F. (Narosa Puplishing House Springer Verlag, 1987)