%addi/3 :
addi(zero,X,X) :- nat(X).
addi(s(X),Y,s(Z)):- addi(X,Y,Z).

/*
Exemple :
?-  TROIS = s(s(s(zero))) , CINQ = s(s(s(s(s(zero)))),  addi(TROIS , CINQ , HUIT).
   HUIT = s(s(s(s(s(s(s(s(zero))))))))
   yes
ou bien
?- addi(s(s(s(zero))) , s(s(s(s(s(zero)))) , HUIT).
   HUIT = s(s(s(s(s(s(s(s(zero))))))))
   yes
mais aussi :
?- addi(X , s(s(s(s(s(zero)))) , s(s(s(s(s(s(s(s(zero))))))))).
   X = s(s(s(zero)))
   yes
*/