Discussion :

[opeo]

Bonjour,
je suis débutant et j'aimerais pouvoir trouver une interprétation arithmetique du prédicat suivant :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
truc(zero).
truc(suc(suc(suc(X)))):-truc(X).

Je vous remercie d'avance pour votre aide.

[pcaboche]

C'est récursif: on définit T comme un truc si:

• soit T = zero
• soit T est de la forme suc(suc(suc(X))) avec X défini comme étant un truc

Quand tu exécutes le programme, ça donne ça:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
1 ?- truc(X).
 
X = zero ;
 
X = suc(suc(suc(zero))) ;
 
X = suc(suc(suc(suc(suc(suc(zero)))))) ;
 
X = suc(suc(suc(suc(suc(suc(suc(suc(suc(zero))))))))) ;
 
X = suc(suc(suc(suc(suc(suc(suc(suc(suc(suc(...)))))))))) ;
 
...

et il y a une infinité de solutions.

[Trap D]

Pourrait-on dire que l'interprétation arithmétique est l'obtention des multiples de 3, en donnant une interprétation de suc comme successeur suc(n) renvoie n+1 (mais là on n'est plus dans Prolog) .

[pcaboche]

Pourrait-on dire que l'interprétation arithmétique est l'obtention des multiples de 3, en donnant une interprétation de suc comme successeur suc(n) renvoie n+1 (mais là on n'est plus dans Prolog) .

Pas vraiment.

On a bien le prédicat succ(?Int1, ?Int2) mais pas d'opération arithmétique suc/1. Donc en fait il s'agit plus d'un tuple suc défini par l'utilisateur.

[Trap D]

opeo >> tu pourrais nous dire dans quel cadre tu as trouvé cet exo, quel est le sujet du chapitre d'où il est tiré ?