Aufgabe:
Ist \( L \) unifizierbar?
Fall ja: Geben Sie einen Unifikator für \( L \) an.
Falls nein: Wo bricht der Algorithmus von Martelli-Montanari für \( L \) ab?
a) \( L:=\{P(x, g(z)), P(z, y), P(y, a)\} \)
Problem/Ansatz:
Ich habe für P(x, g(z)) und P(z,y) den Unifikator: [z, g(z) / x, y].
Dann wird aus den beiden Literalen P(z,g(z)).
Ich komme allerdings nicht drauf, wie ich nun fortfahren soll, damit der Unifikator auch P(y,a) berücksichtigt.
Bin für jede Hilfe dankbar.
