p(f(f(a))).                       Unten: leere Klausel mit O bezeichnet.
p(X):- p(f(X)).                   (Leider gibt es in ASCII keine Box).

                      ?- p(Z).
                     /        \
    {Z <- f(f(a))}  /          \  {X1 <- Z}
                   /            \
                  O         ?- p(f(Z)).
           {Z <- f(f(a))}    /       \
                            /         \
               {Z <- f(a)} /           \  {X2 <- f(Z)}
                          /             \
                         /               \
                        O          ?- p(f(f(Z)).
                  {Z <- f(a)}       /        \
                                   /          \
                         {Z <- a} /            \ {X3 <- f(f(Z))}
                                 /              \
                                /                \
                               O          ?- p(f(f(f(Z)))).
                           {Z <- a}               |
                                                  |
                                                  | {X4 <- f(f(f(Z)))}
                                                  |
                                                  |
                                         ?- p(f(f(f(f(Z))))).
                                                  |
                                                  |
                                                  : {X5 <- f(f(f(f(Z))))}
                                                  :

Prologs Antworten:  Z=f(f(a)), Z=f(a), Z=a. Dann Stack Overflow,
da der SLD-Baum einen unendlichen Ast hat.