Discussion :

[Invité]

Bonjour,

Je souhaite créer un prédicat rechercher /2 qui prend en paramètre une liste de sous-listes et qui retourne toutes les permutations possibles de ces sous-listes concaténées.

En gros, si je fais: rechercher(L,[[1,2],[3,4]]). Ça me retourne:

Code :

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

1
2
3
4
L = [1,2,3,4];
L = [1,2,4,3];
L = [2,1,3,4];
L = [2,1,4,3].

Actuellement, mon prédicat rechercher est le suivant:

Code :

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

1
2
rechercher(_,[[]]):- !.
rechercher(Res,[L1|L2]):- permutation(L11,L1), rechercher(L22,[L2]), grouperListes(Res,[L11|L22]).

Je permute la première sous-liste de la liste avec le prédicat permutation (Un prédicat qui fonctionne et qui retourne toutes les permutations possibles), j'appelle rechercher récursivement pour qu'il me trouve toutes les permutations possibles de toutes les autres sous-listes, puis j'appelle un prédicat grouperListes (qui fonctionne également), et qui concatène toutes les permutations trouvées entre elles. Malheureusement, mon prédicat rechercher me renvoie L = [1,2,3,4]; à l'infini.
Je ne comprends pas trop pourquoi, j'ai cherché longtemps, mais je ne trouve pas de solution à mon problème. Pouvez-vous m'aider ?
Merci d'avance,
Decim298.

[Trap D]

Bonjour.
Il faudrait voir le code complet pour trouver l'erreur.

[Invité]

Bonjour.
Il faudrait voir le code complet pour trouver l'erreur.

Comme je l'ai dit, mes autres fonctions fonctionnent correctement. Mais voici:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
selection(T,Q,[T|Q]).
selection(X,[T|Q2],[T|Q]):-selection(X,Q2,Q).
 
permutation([],[]).
permutation([TR|QR],L):-selection(TR,L2,L), permutation(QR,L2).
 
concatener(L,[],L):- !.
concatener([T1|QR],[T1|Q1],L2):-concatener(QR,Q1,L2).
 
grouperListes([],[]).
grouperListes(Liste,[Liste1|ListeX]):-grouperListes(Liste2,ListeX), concatener(Liste,Liste1,Liste2).
 
rechercher(_,[[]]):- !.
rechercher(Res,[L1|L2]):- permutation(L11,L1), rechercher(L22,[L2]), grouperListes(Res,[L11|L22]).

[Trap D]

C'était pour m'assurer qu'il n'y avait pas un truc caché.
Le problème vient de cette clause :
rechercher(_,[[]]):- !.
Essayer de trouver pourquoi !
Quand la recherche doit-elle s'arrêter ?