Найти наиболее общий унификатор для
следующих предикатов.
{P(f(a),
y,
f(u)),
P(x,
b,
f(g(y)))}.
{P(z,
f(z)),
P(x,
f(x))}.
{P(f(g(y)),
f(g(u)),
B),
P(f(z),
F(g(b)),
u)}.
{P(x,
f(x)),
P(z,
f(g(x)))}.
{P(y,
f(g(q(y))),
u), P(x,
f(z),
f(a))}.
{P(a,
f(x),
u), P(z,
u, f(g(y)))}.
{P(a,
x,
f(g(y))),
P(z,
f(z),
f(u))}.
{P(a,
f(b),
x,
f(g(x)),
c),
P(a,
f(x),
b,
f(y),
c)}.
{P(x,
f(m),
g(f(c)),
y),
P(m,
f(x),
g(u), q(x))}.
{P(g(b),
f(u),
c,
y),
P(g(w),
f(g(c)),
x,
w)}.
A(x,
y)
→ B(x,
y),
`B(a,
b)
→C(b,
a),
D(z,
x)&C(z,
y).
R(x,
y, t)
→ D(a,
y),
`D(f(x),
a)
→V(a,
x),
S(z,
f(x)).
S(x,
y)
→ G(x,
a,
b),
`G(x,
a,
z)
→ T(x,
a,
y),
S(z,
f(x)).
A(x,
y,
z)
→ V(f(x),
y,
z),
`V(g(y),
y,
z)
→ D(x,
z),
A(z,
x,
z)
v D(x,
x).
P(x)
→ Q(y),
`Q(a)
→ R(x),
R(f(x))
→ T(y,
x),
`T(b,
g(y))
→ C(a).
A(x,
y)
→ B(x,
y),
`B(a,
b)
→C(b,
a),
D(z,
x)&C(z,
y).
R(x,
y,
t)
→ D(a,
y),
`D(f(x),
a)
→V(a,
x),
S(z,
f(x)).
S(x,
y)
→ G(x,
a,
b),
`G(x,
a,
z)
→ T(x,
a,
y),
S(z,
f(x)).
A(x,
y,
z)
→ V(f(x),
y,
z),
`V(g(y),
y,
z)
→ D(x,
z),
A(z,
x,
z)
v D(x,
x).
P(x)
→ Q(y),
`Q(a)
→ R(x),
R(f(x))
→ T(y,
x),
`T(b,
g(y))
→ C(a).
