Bonjour, je suis débutant et j'aimerai pouvoir trouver une interpretation arithmetique du prédicat suivant: Code:

truc(zero).
truc(suc(suc(suc(X)))):-truc(X).

Je vous remercie d'avance pour votre aide.