EJERCICIO ALGORITMO DE UNIFICACION

Algoritmo de unificacion

ejemplo

E={P1(a1,F1(X1)F1(F2(X2)),P1(X3,F1(X3),F1(X4))}

i G E 0 { } { P1(a1,F1(X1)),F1(F2(X2)),P1(X3,F1(X3),F1(X4))} D0{a1,X3} 1 {a1/X3 } { P1(a1,F1(X1)),F1(F2(X2)),P1(a1,F1(a1),F1(X4))} D1{X1,a1} 2 {a1/X3,X1/a1 } { P1(a1,F1(a1)),F1(F2(X2)),P1(a1,F1(a1),F1(X4))} D2{X4,F2(X2)} 3 {a1/X3 , X1/a1 , X4/F2(X2) } { P1(a1,F1(a1)),F1(F2(X2)),P1(a1,F1(a1),F1(F2(X2))}