Discussion :

[guillaume07]

Bonjour,

Code :

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

1
2
my_rev([],_).
my_rev([X|Xs],Acc) :- my_rev(Xs,[X|Acc]).

Quand j'éxécute ce programme, j'obtiens yes mais je ne peux pas consulter le contenu de Acc, qui théoriquement contient la liste X inversée.

Par contre, quand j'éxécute le code suivant :

Code :

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

1
2
3
my_reverse(L1,L2) :- my_rev(L1,L2,[]).
my_rev([],L2,L2):-!.
my_rev([X|Xs],L2,Acc) :- my_rev(Xs,L2,[X|Acc]).

je peux consulter L2 mais la réponse à ce programme est No.

Need help , merci

[nikles007]

En Prolog, tu as besoin d'une variable qui contiendra le résultat. L'accumulateur n'est en fait qu'une variable intermédiaire qui aide à inverser la liste.
Pour inverser une liste, voilà comment il faut procéder:

L'accumulateur en fin de traitement SERA le résultat recherché.

Code :

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

1
2
3
4
5
6
rev(L1, L2):-
	rev(L1, [], L2).
 
rev([], Acc,Acc).
rev([X|Rest], Acc,Result):-
	rev(Rest, [X|Acc], Result).

[guillaume07]

fichtre je me demande bien comment ce langage de satan fonctionne, l'acc avant de faire la recopie dans Result, contient bien la liste inversée pourtant...

[Trap D]

On peut travailler sans accumulateur:

Code :

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

1
2
3
4
5
6
7
8
% l'inverse d'une liste vide est une liste vide
my_rev([],[]). 
 
% pour inverser une liste, je mets le premier élémement de la liste
% à la fin du reste de la liste inversé
my_rev([X|Xs],Acc) :- 
    my_rev(Xs,Acc1), 
    append(Acc1, [X], Acc).

[nikles007]

Oui Guillaume07, Acc contient bien le résulat pendant la construction.
Cette construction est construite par empilement. mais après il y a dépilement de la variable Acc. C'est pourquoi qu'uen fois que l'on a le résultat, on l'unifie avec une variable juste avant le dépilement.

Je ne sais pas si c'est clair, mais si tu comprends çà, tu comprendras TOUT en prolog.

[guillaume07]

Si c'est très clair, merci beaucoup