Questions et réponses pour le successor-arithmetics :
Successeur arithmétique, à PRolog similaire également S (x) -Notation ou
s (x) -numbers est un codage des nombres naturels basés sur PEANO
Axiomes. Zéro est représenté par 0, l'un est représenté comme le
successeur de zéro s (0), deux comme successeur d'un S (S (0)) etc.
J'ai essayé d'apprendre Prolog et je suis totalement exclu sur ce que le prédicat s () fait.
Je vois cela utilisé souvent et il y a si peu de ressources sur Internet sur Prolo ...
