successor-arithmetics

Empiezo a aprender Prolog y primero aprendí sobre la notación sucesora. Y aquí es donde me entero de escribir axiomas Peano ... eí la otra respuesta en bucle infinito. Pero agradecería que alguien respondiera basándose en este escenario. Me ayuda mucho.