Recherche:

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)." ?

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).
...