Franz: Prolog - Rekursion

Beitrag lesen

Hi,

kann mir einer den genauen Ablauf von Prolog erklären.

Hier ein Beispiel:

letztes_element(X,[X]). /* 1 Regel */
letztes_element(X,[Y|YS]) :- letztes_element(X,YS). /* 2 Regel */

?- letztes_element(X,[5,3,1]).

1.) Prolog guckt ob es bei der 1 Regel zutrifft. Nein, da wir mehr als ein Element haben.

2.) Prolog geht in die 2 Regel und führt den Teil letztes_element(X,YS) aus. Also ist X = [3,1].

Was folgt nun ?

Ich bin sehr dankbar für alle Antworten.