Логическо програмиране 2004/05 - упражнения

Като се използва алгоритъма за решаване на системи от термове, да се намерят най-общи унификатори (ако такива има) за термовете:

1. p(f(X,Y),g(Z),f(h(T),T),f(X,Y)),
   p(f(f(U,V),g(f(U,W))),g(U),f(U,W),f(S,V)).
2. q(f(g(f(X,Z)),f(X,Y)),g(X),f(X,Z),f(T,Y)),
   q(f(V,U),g(W),f(h(S),S),f(U,V)).
3. p(f(X,Y),q(Y,a),h(V,V)),
   p(Z,g(h(X),X),h(f(Y,a),Z)).
4. p(g(h(X),V),f(h(Z),Z),f(X,f(Y,h(Z)))),
   p(g(V,h(h(b))),f(Y,b),f(T,f(T,T))).
5. p(f(a,Z),h(V,f(X,Y),f(X,Y))),
   p(W,h(g(Z),f(a,f(V,V)),W)).
6. q(f(V,h(X,Y),h(X,Y)),h(a,Z)),
   q(f(g(a,W),h(a,g(a,X)),W),W).