判断以下公式对是否可合一；若可合一 则求出最一般的合一： （1)P（a b) P（x y) （2)P（f（z)
求出,公式,正确答案
已帮助 人
判断以下公式对是否可合一；若可合一，则求出最一般的合一： (1)P(a，b)，P(x，y) (2)P(f(z)，b)，P(y，x) (3)P(f(z)，y)，P(y，f(a)) (4)P(f(y)，y，x)，P(x，f(a)，f(b)) (5)P(x，y)，P(y，x)
请帮忙给出正确答案和分析，谢谢！
-
正确答案：(1)P(ab)与P(xy)是可合一的。σ={a／xb／y} (2)P(f(z)b)与P(xy)是可合一的。σ={f(z)／xb／y} (3)P(f(x)y)与P(yf(a))是可合一的。根据最一般合一求取算法可得σ={f(a)／ya/x} (4)P(f(y)yx)与P(xf(a)f(6))是不可合一的。 (5)P(xy)与P(yx)是可合一的。σ={y／x}或σ={x／y}
(1)P(a,b)与P(x,y)是可合一的。σ={a／x,b／y}(2)P(f(z),b)与P(x,y)是可合一的。σ={f(z)／x,b／y}(3)P(f(x),y)与P(y,f(a))是可合一的。根据最一般合一求取算法,可得σ={f(a)／y,a/x}(4)P(f(y),y,x)与P(x,f(a),f(6))是不可合一的。(5)P(x,y)与P(y,x)是可合一的。σ={y／x}或σ={x／y}