For the sake of improving practicability and expandability of the system, reasoning process is supported by reason content library (RCL) whose constitution and application are described in detail.

• 为提高系统的实用性 及可扩展性，本文提出了借助推理内容库进行几何推理的新思想，并对推理内 容库的组成及应用过程作了较为详尽的描述。