Discussion :

[Maelstrim]

Bonjour,

Nous bloquons actuellement sur un problème impliquant des listes imbriqués.

Nous possédons une liste de liste sous cette forme :
[[1,2],[2,3],[3,80],[4,65]].

Nous souhaitons reconstituer une liste simple composé de la queue de liste de chaque sous liste et avoir ainsi :
[2,3,80,65].

Notre prédicat admet en argument la double liste et doit nous retourner une liste simple :

Code :

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

1
2
3
4
 
retreat([],L).
retreat([T|Q],R):-write(Q).
retreat([[T|Q],A],R) :- write(Q), retreat(A,R).

Ici les write sont uniquement pour nos tests.


Merci d'éclairer nos lanternes,

Tony

[Trap D]

Pour obtenir la queue d'une liste on peut utiliser append/3 :

Code :

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

1
2
3
 ?- append(_, [X], [1,2,3]).
X = 3 ;
false.

Maintenant, en utilisant SWI-Prolog et la bibliothèque 'lambda.pl' (qui permet de travailler de manière "fonctionnelle" sur les listes ):

Code :

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

1
2
3
4
5
6
 ?- use_module(library(lambda)).
true.
 
 ?- maplist(\Y^X^append(_, [X],Y), [[1,2],[2,3],[3,80],[4,65]], L).
L = [2, 3, 80, 65] ;
false.

Revenons maintenant à votre code ;

Code :

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

1
2
3
retreat([],L).
retreat([T|Q],R):-write(Q).
retreat([[T|Q],A],R) :- write(Q), retreat(A,R).

La première clause retreat([], L), est fausse, vous devriez avoir un warning à la compilation car L est un singleton, ce qui veut dire qu'il n'est unifié avec rien.
Ce qui peut être fait c'est

Code :

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

1
2
3
4
5
6
retreat([L],[X]):-
	append(_, [X], L).
 
retreat([H | T], [X|R]) :-
	append(_, [X],H),
	retreat(T, R).

On a ici un des parcours de listes classique en Prolog, le cas d'arrêt, ici une liste avec une seule sous liste, et le cas général, (on traite le premier élément de la liste, et on l'ajoute en tête du résultat du traitement du reste de la liste.

PS bien comprendre le fonctionnement et les possibilités de append/3 est d'une grande utilité pour comprendre la programmation en Prolog.

[Maelstrim]

Bonjour,

Merci de votre réponse,

Nous avons trouvé une autre solution dans le laps de temps qui s'est écoulé entre nos premiers message.

Nous avons fait ainsi :

Code :

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

1
2
3
4
5
6
7
8
9
 
get_stock(X,R):-setof([ID,QTE],stocks(ID,QTE),ListeStocks), retreat(ListeStocks,TEMP),
				findall(QTE2,temp(QTE2),R).	
 
retreat([],R).
retreat([[T1|Q1]|[]],[R|_]):- insertion(Q1,R,L).
retreat([[T|Q]|A],[R|_]) :- insertion(Q,R,L),retreat(A,L).
 
insertion([X|_],L, [X | L]):-assertz(temp(X)).

En fait on stock en dynamique chaque valeur de notre liste. C'est pas optimal mais ça nous a permis de nous dépatouiller

On va retravailler ça suite à votre précédent message.

Encore merci,

Tony