preguntar acerca de successor-arithmetics

considérons le programme Prolog suivant (de "L'Art de Prolog"): natural_number(0). natural_number(s(X)) :- natural_number(X). plus(X, 0, X) :- natural_number(X). plus(X, s(Y), s(Z)) :- plus(X, Y, Z). et la requête: ?- plus(s(s( …