论文《基于归纳逻辑程序设计的学习方法及其实现的研究》