例如,设有公式集F={P(x,y,f(y)), P(a,g(x),z)},则 λ={a/x, g(a)/y, f(g(a))/z}
合一是一种置换
最一般合一 设σ是公式集F的一个合一,如果对F...y, f (A)}, D2={z, h(B)}
求最一般合一算法
例 设有公式集
F={P(A, x, f (g (y))), P(z, f (z), f (u)) }
求其最一般合一。
...y))), P(z, f (z), f (u)) }
含有2个表达式,故σ0不是最一般合一。
...))) }
Loop 4:F3中只含有一个表达式,故算法成功终止,σ3 ={A/z, f (A)/x, g (y)/u},即为公式集F的最一般合一。...谓词逻辑的归结原理 在谓词逻辑中,由于子句集中的谓词一般都含有变元,因此不能象命题逻辑那样直接消去互补文字。而需要先用一个最一般合一对变元进行代换,然后才能进行归结。