Was passiert mit y bei dem Unifikationsalgorithmus?

brauchst du nichts zu machen, die sind bis da schon unifiziert.

\P(f(f(u,v),g(a,y)… mit \P(f(f(u,v),g(a,y) bis da ist alles gleich, also muss du dich nur um den Rest kümmern.. [img]http://www.fb18.de/gfx/28.gif[/img]

viel spaß..

Für alles die morgen die Klausur schreiben, genau wie ich, VIEL GLÜCK !!!

sorry, aber was bedeutet denn unifizieren?

In diesem Fall, dass beide Formeln gleich sind

Viel Glück auch allen anderen

Unifikation müßte doch schon aus P1 - Prolog bekannt sein. [img]http://www.fb18.de/gfx/3.gif[/img]

Und dass soll man noch können? P1 ist doch schon laange her! Und bei meinen P1-Ergebnissen (immerhin Mehrzahl, ist ja auch was) würde ich mich nicht auf dieses Wissen verlassen.. [img]http://www.fb18.de/gfx/naenae.gif[/img]