Frage zur Lösung Tutorium 9 Aufgabe 1c)

patrickm
Neuling
Neuling
Beiträge: 5
Registriert: 16. Nov 2014 21:20

Frage zur Lösung Tutorium 9 Aufgabe 1c)

Beitrag von patrickm »

Hallo zusammen,
eine kurze Frage zu genannter Musterlösung. Ich komme auf q(X,Y,Z) :- f(Y,B), f(B,X), f(X,D), f(D,Z), f(X,Z) .
Der fett-markierte Teil ist bei mir zusätzlich zur Musterlösung drin. Er kommt aus den rechten Ast des generalisierten Baumes, indem sich außerdem noch f(X,Z) befindet (da dieser aber schon im linken Teilast auftaucht, muss er ja nicht nochmal genannt werden).
Wo ist f(X,Z) hin bzw. wieso kann man es rauslassen.
Bei Bedarf kann ich auch gerne meinen generalisierten Baum ordentlich hier posten.


Danke und viele Grüße
Patrick

Zurück zu „Archiv“