Probleme prolog fonction séparation liste

[bougnbie]

Bonjour,
je vous expose mon probleme:
Mon but est d'écrire une fonction qui sépare une liste L en deux sous listes L1 et L2, L1 étant la suite des premiers éléments de L égaux, L2 étant le reste, par exemple:
L = [a,a,a,a,n,j].
L1=[a,a,a,a],
L2=[n,j].

Voici mon code

Code :

1
2
3
4
5
recup([X|L],L1,L2):- recup(L,L1,L2,[X],X).
recup([],A,[],A,B).
recup([X|L],[X|Pile],K,Pile,Cri):- X = Cri,Pile2=[X|Pile], recup(L,F,K,Pile2,Cri),!.
recup([X|L],A,B,Pile,Cri):-not(X=Cri),A = Pile, B=[X|L],!.

Malheuresement, ça ne fait pas tout à fait ce que je désire, par exemple pour L= [a,a,a,a,b,j,k], j'ai L1= [a,a] et L2= [b,j,k].

Je suis prêt à donner des explications si ce n'est pas clair.

[bougnbie]

J'ai réussi à faire un truc qui fonctionne, je met le code:

Code :

1
2
3
4
5
6
7
recup2([X|L],K):- recup2(L,K,X).
recup2([],[],_).
recup2([X|L],K,Cri):- X = Cri,recup2(L,K,Cri),!.
recup2(A,A,_).

recup(L,L1,L2):-recup2(L,L2), append(L1,L2,L),!.

Par contre j'ai tellement souffert sur la première question que j'aimerais pas mal avoir une idée de pourquoi ça ne fonctionnait pas.

[Trap D]

Euh, ta deuxième version ne fonctionne pas :

recup( [x, y,a,a,t, u,a,a,b,j,k], L1, L2).
L1 = [x],
L2 = [y,a,a,t,u,a,a,b,j,k].

Qu'en est-il de liste de ce type ?
recup([a,a,a, b,b, c,d,e], L1, L2) ??

[bougnbie]

Ma deuxieme version fonctionne, c'est bien ce que je voulais.

Pour recup([a,a,a, b,b, c,d,e], L1, L2) ,
il faut:
L1=[a,a,a],
L2=[b,b,c,d,e].

Le but est de récupérer dans L1 tous les éléments tant qu'ils sont égaux au tout premier élément, et dans L2 la suite de la liste à partir du premier élément différent du premier.


Donc ma deuxième version fonctionne correctement; la première version devrait aussi d'après moi, mais ce n'est pas le cas