Learning Micro-Prolog:A Problem Solving Approach - Tom Conlon (Addison-Wesley New York, 1985)