Discussion :

[Meliodas09]

Bonjour,
j'aimerais définir un but Prolog fusionne(L1,L2,L3) qui fusionne les deux listes L1 et L2 en une seule liste L3 .
Ainsi L3 va contenir le premier élément de L1 suivi du premier élément de L2,ensuite le second élément de L1 suivi du second élément de L2 et ainsi de suite.Si des élément restent de L1 ou L2 ils seront ajoutés a L3.

Exemple : ?-fusionne ([1,3,5] , [2,4] , L)
L= [1,2,3,4]

J'ai alors procédé ainsi :

fusionner ([X1|R1] , L2 , [X1|R3]) :- fusionner (R1 , [X2|R2] , R3).

fusionner ([L1 , [X2|R2] , [X2|R3]) :- fusionner ([X1|R1] , R2 , R3).

fusionner ([] , L , L).

fusionner (L , [] , L).


Le problème c'est que je n'arrive pas à trouver comment faire une transition entre les deux premières règles .
Merci,

[Trap D]

C'est beaucoup plus simple que ça :
Tu as effectivement deux cas de base :

Code :

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

1
2
fusionner(L, [], L).
fusionner([], L, L).

Ensuite, comme souvent en Prolog, et plus généralement quand on travaille en récursif, on se débrouille pour simplifier le traitement du cas général.

Ainsi L3 va contenir le premier élément de L1 suivi du premier élément de L2,ensuite le second élément de L1 suivi du second élément de L2 et ainsi de suite.Si des élément restent de L1 ou L2 ils seront ajoutés a L3.

Dit sous une autre forme, tu veux que L3 contienne le premier élément de L1 suivi du premier élément de L2 et si j'ai bien compris on recommence ensuite avec le reste de la première liste et le reste de la deuxième liste. En gros je concatène le premier élément de L1, avec le premier élément de L2 avec le résultat de la fusion du reste de L1 et du reste de L2


Cela se traduit en Prolog par :

Code :

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

1
2
fusionner([H1 |T1], [H2 | T2], [H1, H2 | F]) :-
    fusionner(T1, T2, F).

[Meliodas09]

Merci beaucoup !!