Programming In Prolog door William F. Clocksin & C.S. Mellish