Prolog from the beginning - Konigsberger, Henry K. (McGraw-Hill, 1990)