---

Geschrieben von Info-Matik am 18.07.2018 um 18:56:

  Regelreihenfolge

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).