15.2 归纳逻辑程序设计