基础归结

如果C和D是两个基础子句集，并且L⊆C，M⊆D构成互补对集合，那么，基础子句集r=r(C，D)=(C-L)∪(D-M)称为C和D的基础归结原始表达式。基础子句集S的元素以及S的所有基础归结原始表达式构成的集合称为基础归结，以R(S)=S∪{r}表示。如果S是一个基础子句的集合，那么以Rn(S)表示S的n阶基础归结，它定义为：对于任何n≥0，R0(S)=S，Rn+1(S)=R(Rn(S)) 。