Hi.

s1: A(X,X) s2: a(d(Y),d(b))

lt. menzl kommt da raus X = d(b) und Y=b

kann mir einer sagen why?

Hi.

s1: A(X,X) s2: a(d(Y),d(b))

lt. menzl kommt da raus X = d(b) und Y=b

kann mir einer sagen why?

a(X , X ) a(d(Y), d(b))
D.h. Unifikationsschritte:

X = d(Y) X = d(b) => X = d(Y) = d(b) => Y = b

Naja, das A und das a sind schonmal ein Tippfehler. Das muss wohl beides a sein.
Dann fordern wir, dass die beiden Argumente gleich sind, da innerhalb des ersten Statements beides mit X belegt ist. Dann stellen wir fest, dass im zweiten Statement rechts ein Wert steht, der nicht veraenderbar ist. Somit muss es also schon X=d(b), sonst kann es schonmal gar nicht mehr klappen. Somit muss auch auf der linken Seite d(b) stehen. Dort steht bisher d(Y). Y ist bisher an nichts gebunden, was also sollte uns also daran hindern, Y an b zu binden?

Wenn du solche Loesungen einfach nur verstehen willst: Setz doch einfach mal ein, die Loesung steht doch da! Dann erhaeltst du in beiden Statements a(d(b),d(b)). Feddich.

Ich gehe im Uebrigen davon aus, dass wir hier von Unifikation sprechen. Sonst bitte ich dieses Posting nicht zu beachten.