通常，一个推理引擎可以推断几个中间事实（intermediate facts），逐步向最终目标推进。这些中间事实被其他规则发布到用户 …