Learning Micro-Prolog : a problem-solving approach - Conlon, Tom