The Inference enginery that is designed in the paper has four characteristics: non-recursive deep first search strategy;

• 所设计的推理机包括四个方面的内容：非递归的深度优先搜索策略；