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: