求MGU解解析：S0=Sδ0=εS0不是单元素集，求得差异集D0=｛a/z｝，其中z是变元，a是项，且z不在a中出现。k=k+1=1δ1=δ0·｛a/z｝=ε·｛a/z｝=｛a/z｝S1=S0·｛a/z｝=｛P,P,f（u）｝S1不是单元素集，求得差异集D1=｛x,h｝k=k+1=2δ2=δ1·｛h/x｝=｛a/z,h/x｝S2=S1·｛h/x｝=｛P,f（g（y）,P,f（u）｝S2不是单元素集，求得差异集D2=｛g（y）,u｝k=k+1=3δ3=δ2·｛g（y）/u｝=｛a/z,h/x｝·｛g（y）/u｝=｛a/z,h/x,g（y）/u｝S3=S2·｛g（y）/u｝=｛P,f（g（y）｝是单元素集。根据求MGU算法，MGU=δ3=｛a/z,h/x,g（y）/u｝（）