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

[na$DaL]

Bonjour,

Je débute en Prolog et j'ai bien compris le système de l'accumulateur mais je ne comprend pas pourquoi ces lignes ne fonctionne pas (cad même code que plus haut mais sans l'accu) ?

Code :

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

1
2
3
 
inverse([],[]).
inverse([X|Rest],L):-inverse(Rest,[X|L]).

Merci à qui veux bien éclairer ma lanterne.

[Trap D]

Si tu travailles avec SWI-Prolog, tu peux utiliser le mode trace :

1 ?- trace.

2 ?- inverse([1,2,3,4], L).

A noter que la méthode avec accumulateur est beaucoup plus efficace que la méthode sans accumulateur car append est très coûteux.