Discussion :

[yoshï]

Bonjour,
j'ai vraiment du mal à écrire un prédicat.

miroir(L,R) réussit si la liste R est l'image inversée à tous les niveaux de la liste L
exemple:

Code :

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

1
2
 
?-miroir([1,4,a,[a,b,[c,d]],z],L) retourne L=[z,[[d,c],b,a],a,4,1]

j'ai fait un prédicat pour inverser une liste, mais je n'arrive pas à "parcourir en profondeur" pour inverser les sous-listes...

j'arrive donc à retourner

Code :

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

1
2
 
L=[z,[a,b,[c,d]],a,4,1]

Il faudrait pouvoir réappliquer le prédicat inverser à chaque fois qu'on trouve une sous liste....Mais comment faire?

Merci d'avance

[je®ome]

Il suffit que ton prédicat teste si l'élément courant est une liste ou pas.
Comment tu fais ton inversion ?

[yoshï]

Comment tu fais ton inversion ?

Code :

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

1
2
3
4
 
reverse(L1,L2):-reverse(L1,[],L2).
reverse([T1|R1],L,L2):-reverse(R1,[T1|L],L2).
reverse([],L,L).

mon problème c'est que je ne sais pas appliquer l'inversion en profondeur, à toutes les sous-listes

[Trap D]

Comme l'a dit je®ome teste le premier élément de la liste avec is_list/1 et si c'est une liste applique lui le prédicat.

[yoshï]

Comme l'a dit je®ome teste le premier élément de la liste avec is_list/1 et si c'est une liste applique lui le prédicat.

Je suis désolé mais j'ai vraiment du mal à écrire ce prédicat..

Code :

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

1
2
3
4
 
miroir([],[]).
miroir([T|R],[L2|R2]):-is_list(T),!,reverse(T,L2),miroir(R,R2).
miroir([T|R],L):-miroir(R,L).

ce miroir inverse seulement les listes de profondeur1...
Je n'arrive pas à faire une bonne récurrence pour inverser la liste courante puis vérifier qu'elle ne contient pas de sous- listes à inverser...etc

[Trap D]

Tu as pratiquement tout écrit ici

Code :

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

1
2
3
4
reverse(L1,L2):- reverse(L1,[],L2).
reverse([T1|R1],L,L2):-
  reverse(R1,[T1|L],L2).
reverse([],L,L).

Il ne te manque qu'à inverser l'élément X si c'est une liste.
Celà commence effectivement pas le test is_list.

Code :

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

1
2
reverse([T1|R1],L,L2):-
  is_list(T1), !,

Maintenant que dois tu faire ?
D'abord inverser cet élément, pus l'insérer dans la liste résultat comme si c'était un élement quelconque, c'est tout.

[yoshï]

ok merci bcp..C'est dingue ce que j'ai lutté pour écrire ce prédicat.
C'est vrai qu'avec le recul ça n'était pas si sorcier...des fois je me complique vraiment la vie

Code :

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

1
2
3
4
5
 
reverse(L1,L2):-reverse(L1,[],L2).
reverse([T1|R1],L,L2):-is_list(T1), !,reverse(T1,L3),reverse(R1,[L3|L],L2).
reverse([T1|R1],L,L2):-reverse(R1,[T1|L],L2).
reverse([],L,L).

Merci encore ^^