inversion de liste avec accumulateur

Bonjour,

Je cherche à recoder le prédicat reverse/2, en utilisant un accumulateur.
Le lien https://www.developpez.net/forums/d1...nverser-liste/ offre une solution, mais qui est insatisfaisante sur les listes imbriquées.
Par exemple inverse([x,[y,z]],L) va donner [z,y,x], et non [[z,y],x].

J'ai fini par trouver un document qui semble traiter cette question, ici https://www.cril.univ-artois.fr/~sai...ologCours2.pdf.
Mais en fait, le résultat sur le même exemple ne donne toujours pas le bon résultat.
Le prédicat dans ce document est codé comme ceci :

Code:

---

1 2 3 4 5 6 7 8 9

reverseRec(L,I):- reversRecAcc(L, [], I). reverseRecAcc([],I, I). reverseRecAcc([X|L1],I1, I2):- atom(X), reverseRecAcc(L1, [X|I1], I2). reverseRecACC([X|L1], I1, I2):- not(atom(X)), reverseRec(X, I1, I3), reverseRec(L1, I3, I2).

---

Est-ce que quelqu'un aurait une idée ?

Bonjour
Tu as presque tout dans ce code :

Code:

---

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

---

Il suffit de tester si X est un atome ou pas !
Voilà le squelette :

Code:

---

1 2 3 4 5 6 7 8 9 10

my_reverse(L1,L2) :- my_rev(L1,L2,[]). my_rev([],L2,L2):-!. my_rev([X|Xs],L2,Acc) :- atom(X), .....   % ici X est une liste : my_rev([X|Xs],L2,Acc) :- ..... ......

---

Merci Trap D, mais c'est exactement le même squelette.
Je m'aperçois que j'ai fait quelques coquilles dans la recopie du code, mais sauf la position de l'accumulateur - en dernière place dans ton squelette, au milieu dans le mien, il s'agit des mêmes trames.

Le problème vient justement du cas où on n'est pas dans un atome.
Que mettre après avoir vérifé que X n'est pas un atome ?

Code:

---

1 2	not(atom(X)), ...

---

J'avoue que je suis perplexe !

Peut-être qu'en testant si X est une liste avec is_list/1 on peut faire quelque chose ... :mrgreen:

Citation:

---

Envoyé par Trap D

Peut-être qu'en testant si X est une liste avec is_list/1 on peut faire quelque chose ... :mrgreen:

---

Bon, j'ai fini par trouver une solution.

Code:

---

1 2 3 4

renverseAcc(L,R):- renverseAcc(L,R,[]). renverseAcc([],R,Acc) :- R=Acc. renverseAcc([T|Q],R,Acc) :- not(is_list(T)), renverseAcc(Q,R,[T|Acc]). renverseAcc([T|Q],R,Acc) :- is_list(T), renverseAcc(T,RT,[]), renverseAcc(Q,R,[RT|Acc]).

---

Ce n'est pas l'utilisation de is_list/1 qui change grand chose, du moins pour le type d'essais que j'ai fait.
Un appel renverseAcc([x,[y,z]],L). produit bien le résultat attendu : [[z,y],x].

Merci

Citation:

---

Ce n'est pas l'utilisation de is_list/1 qui change grand chose, du moins pour le type d'essais que j'ai fait.

---

Bien sur puisque le test atom/1 échoue.
Voici le code auquel j'étais arrivé !

Code:

---

1 2 3 4 5 6 7 8 9

my_reverse(L1,L2) :- my_rev(L1,L2,[]). my_rev([],L2,L2). my_rev([X|Xs],L2,Acc) :- atom(X), my_rev(Xs,L2,[X|Acc]).   my_rev([X|Xs],L2,Acc) :- my_reverse(X, RX), my_rev(Xs, L2, [RX|Acc]).

---