{

Problema ${n^{{o}} 9}$ } Para cada um dos seguintes pares de átomos, determine, se poss{i}vel, o unificador minimal. {description} [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)] $p(t(X,t(X,b)))$ e $p( t(a,Z))$; [e)] $p(t(X,t(X,b)))$ e $p( t(a,t(Z,Z)))$; [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))$. description} %%%%%%%%%%%%%%%%%%%%