Discussion :

[simnitch]

Bonjour,
j'aimerais définir les entiers naturels, pour ceci j'ai écrit dans un fichier que je lance avec consult('fichier.pl'). dans SWI-prolog le code suivant :

int(0).
int(s(X)):- int(X).

Ce qui, d'après le tuto que je suis devrait suffire...

Seulement quand je tape dans SWI-prolog "int(0)." j'ai bien "true". Mais quand je tape"int(3)", par exemple, il me donne "false".
Qu'ai-je oublié?
Merci d'avance,
cordialement.

[Trap D]

Attention a ce qui est défini
La première clause dit que 0 est un entier.
La deuxième dit que le successeur d'un entier est un entier ( ou a peu près)
Il n'est nulle part question de 3.
Comment définir 3 d'après toi ?

[simnitch]

Bonjour,
merci pour ta réponse, je pense donc que 3 c'est s(s(s(0))), mais il n'y a alors pas de moyen de trouver true à la question "int(3)" sans définir "int(3)." ?

[Trap D]

Bonjour,
merci pour ta réponse, je pense donc que 3 c'est s(s(s(0))), mais il n'y a alors pas de moyen de trouver true à la question "int(3)" sans définir "int(3)." ?

Eh non !