Regelreihenfolge |
18.07.2018, 18:56 | Auf diesen Beitrag antworten » |
Info-Matik | 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). |
|
|