Discussion :

[Trap D]

Pour un précédent thread, j'avais écrit un prédicat "nettoie" qui permettait de nettoyer une liste des éléments multiples de celle-ci:

Code :

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

1
2
 nettoie([1,2,1,5,3,5], L). 
==> L = [1,2,5,3].

Pour ce faire j'ai trouvé deux méthodes, l'une construisant la liste au fur et à mesure en utilisant un accumulateur :

Code :

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

1
2
3
4
5
6
7
nettoie1([], L, L).
 
nettoie1([X|L1], L2, L3) :-
	memberchk(X, L2), !, nettoie1(L1, L2, L3).
 
nettoie1([X | L1], L2, L3) :-
	nettoie1(L1, [X | L2], L3).

L'autre construisant la liste en retour de récursion :

Code :

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

1
2
3
4
5
6
7
nettoie2([], []).
 
nettoie2([X | L1], L2) :-
	nettoie2(L1, L2), memberchk(X, L2), !.
 
nettoie2([X | L1], [X | L2]) :-
	nettoie2(L1, L2).

Quelle est celle qui est le plus dans l'esprit Prolog ? Personnellement je penche pour la méthode 2 mais elle me paraît moins "efficace" que la méthode 1.

[pcaboche]

J'ai un peu modifié ton prédicat nettoie2, notamment la 2ème clause, peu efficace (inversion de memberchk et nettoie2) :

Code :

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

1
2
3
4
5
6
7
nettoie2([], []) :- !.
 
nettoie2([X | L1], L2) :-
	memberchk(X, L1), !, nettoie2(L1, L2).
 
nettoie2([X | L1], [X | L2]) :-
	nettoie2(L1, L2).

Je préfère la deuxième solution. On utilise un accumulateur pour, par exemple, inverser une liste. Il existe un moyen d'inverser une liste sans accumulateur, par unification, mais je ne m'en rappelle plus...

[Trap D]

Effectivement, avec le ! à la première règle avec les listes vides, c'est nettement mieux, je n'y avais pas pensé.
Merci