归纳法推理中的项重写策略*

本文介绍归纳法推理系统中的项重写策略．该策略根据不同的待重写项term，分别运用公理、重写引理、函数定义、项重写规则等重写项term，以期得到一个更接近推理目标的巳重写项．这一策略已在微机上用编译LlsP语言实现