Learning Micro-Prolog : a problem-solving approach - Conlon, Tom, 1954- (Addison-Wesley Pub. Co., 1985)