Définition récursive des entiers naturels (Peano)  : nat  

(i) "zero" est un nat

(ii) si N est un nat alors s(N) est un nat.

Exemple : 5 s'écrit s(s(s(s(s(zero)))))

Alors en Prolog le prédicat de controle du type entier nat s'écrit :

nat(zero).
nat( s(N) ) :- nat(N).