一个面向对象的产生式推理模型，用于某专家系统的设计。提供了知识录入、编辑，自动推理，知识自检等功能。-an object-oriented production reasoning model, the expert system for a certain design. The knowledge input, editing, automated reasoning, knowledge, self-checking function.