Problema

Para cada um dos seguintes pares de átomos, determine, se possível, o unificador minimal.

a)

p(a,X) e p(Y,b);

b)

p(X,X) e p(Y,Z);

c)

p(X,Y) e p(Y,Z);

d)

e;

e)

e;

f)

p(X,f(Y)) e p(f(Y),X);

g)

p(X,f(X)) e p(f(Z),f(Z));

h)

a(A,B,d(a,n)) e a(d(U,X),Y,d(U,Z));

i)

q(V,X,X,V) e q(Z,Z,Y,c);

j)

a(d(a,d(X,nil)),d(Y,nil),Z) e a(d(U,X),Y,d(U,Z)).