Habe bei einer aufgabe zu Unifikation (Logik) ein kleines problem, soll schauen ob die Termpaare unifizierbar sind?
g(x,f(x)) und g(f(y),z)
meine frage, die x und f(x) darf ich ja nicht vertauschen oder?
falls nein, sind unifizierbar, da ich ja x zu f(y) machen muss und somit ändert sich f(x) zu f(f(y)),
Und noch eine kleine frage, ich darf ja nur die variablen x und z zu funktionen f(x) umwandeln oder darf ich auch f(x) zu z umwandeln?
SanMarius (2.669) 37x Beste Antwort 232x "Danke"
|