归结子句 meaning in English

apodosis

The problem which should be settled and the knowledge is represented in xdd , and the problem is solved by resolution principle . thus , the information on the web can be used in the decision process and it becomes easy to share and exchange data in or among the system
主要内容包括：定义了合一指定和xml归结子句，给出了归结原理在xdd中的应用形式；证明了归结的过程是一个等价变换的过程，论证了应用归结原理实现xml问题求解的可行性；给出了应用归结原理实现xml问题求解的方法和步骤。