Hallo,

ich habe ein Problem mit einer Aufgabe, in der ich eine SLD Resolutionswiderlegung für ein definites Prolog Programm aufschreiben und dann die berechnete Antwortsubstitution bestimmen soll.
Könnt ihr mir da helfen ?

Es geht um dieses definite Programm:

Zitat:

r(a) p(Y) q(X)<-p(X) s(X)<-q(X)

und nun soll halt die SLD Widerlegung und die berechnete Antwortsubstitution für das definite Ziel <-s(U) aufgeschrieben werden.

Könnt ihr mir da weiterhelfen ?

Ciao LHUser

Mhm, ich dachte, das wäre ein triviales Anfängerproblem im Bereich von Prolog. Anscheinend nicht
Kann keiner weiterhelfen ?