allgemeine Definition:
| Objekte, die sich selbst enthalten sind rekursiv. |
Beispiele:
In Prolog:
| Eine Regel, die ganz oder teilweise durch sich selbst definiert wird, nennt man rekursive Regel. |
Beispiel:
| vorfahr(Vorfahr,Nachfahr):-elter(Vorfahr,Nachfahr).
Das ist noch nicht rekursiv, aber jetzt: vorfahr(Vorfahr,Nachfahr):-vorfahr(Vorfahr,Elternteil),elter(Elternteil,Nachfahr). Das Muster vorfahr(_,_) tritt sowohl im Kopf als auch im Rumpf der Regel auf!
|
|
|
|