Re: Donner une interpretation arithmétique du prédicat (PROLOG)

Retourner au contenu associé (entrée de forum : Donner une interpretation arithmétique du prédicat (PROLOG))

[^] # Re: Donner une interpretation arithmétique du prédicat (PROLOG)

Posté par Antoine Reilles le 11 septembre 2006 à 16:56. En réponse au message Donner une interpretation arithmétique du prédicat (PROLOG). Évalué à 2.

du coup, tu pourrait avec un peu d'imagination en déduire que
pour tout n entier naturel, truc(3*n) est vrai