Odwracalna relacja długości drzewa

Notacja następcy Prologu daje niekompletny wynik i nieskończoną pętlę

Zaczynam uczyć się Prologu i najpierw dowiedziałem się o notacji następcy.I tu właśnie dowiaduję się o pisaniu aksjomatów Peano w Prologu.Patrz strona 12PDF:

Zbyt wiele zwrotów: dlaczego jest tu „powtórzenie”?

Wykonuję bardzo proste ćwiczenie w Prologu i jest coś, czego nie rozumiem w śladzie. Program jest „większy niż” (