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.
Forum Programmation.autre Donner une interpretation arithmétique du prédicat (PROLOG)
11
sept.
2006
Bonjour,
je suis débutant et j'aimerai pouvoir trouver une interpretation arithmetique du prédicat suivant:
Code:
Je vous remercie d'avance pour votre aide.
je suis débutant et j'aimerai pouvoir trouver une interpretation arithmetique du prédicat suivant:
Code:
Je vous remercie d'avance pour votre aide.
# Re: Donner une interpretation arithmétique du prédicat (PROLOG)
Posté par Julien Vaudour . Évalué à 2.
truc(0)
et tu as la regle
truc(x+3) :- truc(x)
(en supposant que suc(x) = x+1)
[^] # Re: Donner une interpretation arithmétique du prédicat (PROLOG)
Posté par Antoine Reilles (site web personnel) . Évalué à 2.
pour tout n entier naturel, truc(3*n) est vrai
Suivre le flux des commentaires
Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.