Learning Micro PROLOG : A Problem Solving Approach - TomConlon (Addison-Wesley Publishing, 1985)