Frage:
Pränexe Normalform, Umwandlung in Klauselmenge
Wenden Sie den Algorithmus von Martelli-Montanari schrittweise auf die folgenden Mengen von Atomen an und finden sie jeweils den mgu oder begründen Sie, warum ein mgu nicht existiert:
1. {P(g(a), x, f(h(y))), P(y, f(z), f(z))}
2. {Q(x, f(g(a)), f(x)), Q(f(a), y, y)}
3. {R(x, g(f(a)), f(x)), R(f(y), z, y)}
4. {S(a, x, f(g(y))), S(z, h(z,u), f(u))}
Ich soll die obige Aufgabe lösen. Ich tue mich damit allerdings noch etwas schwer. Kann mir jemand evtl zeigen, wie man es anstellt? Bzw den Lösungsweg aufzeigen?
Eine Musterlösung habe ich für diese Aufgabe allerdings hilft mir die nicht so wirklich weiter, da ich diese nicht verwenden darf, um zur Lösung zu kommen