|
|
Meine Frage:
gegeben:
add(X,s(Y),S(R)):-add(X,Y,R).
add(X,o,X).
frage:
1. Für welche Queries terminiert das obige Programm nicht, wenn man Fakt und regel vertauscht?
-> meine Frage wie sieht das Programm aus wenn man fakt und regel vertauscht?
-> für welche queries terminiert er dann?
Meine Ideen:
meine idee:
add(X,Y,Z):- add(X,s(Y),s(R)).
add(X,o,X).
macht aber kein Sinn!!!
daher meine zweite idee:
add(X,o,X).
add(X,s(Y),s(R)):-add(X,Y,Z).
|
|
