论文《逻辑与归纳逻辑程序设计》