15.5 归纳逻辑程序设计