设计并实现一个较高效的推理系统,该系统能够对任意给定的公式集合S和公式A,判断A是否属于Th(Cons(S)).并给出推理过程。 特性: 该系统能够对任意给定的公式集合S和公式C,判断该公式C是否是该公式集合S的合理结论，并能给出归结演绎的推理过程，使计算机在前提存在矛盾时仍能推理出合理结论。 -Design and implementation of a more efficient reasoning system, the system can be on any given