归纳法模式的自动生成

本文介绍归纳法推理系统的核心──归纳法模式的自动生成程序．该程序从递归函数定义出发，自动生成归纳法模板；从待证定理出发，借助归纳法模板，自动生成归纳法模式和归纳法公式．该系统已在微机上用编译ｌｉｓｐ语言实现．