Discussion :

[honrisse]

Bonjour,
je débute en prolog et j'aimerais supprimer toutes les occurences d'une liste.
Voici les prédicats :

Code :

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

1
2
3
supprime(X,[],[]).
supprime(X,[X|R],RsansX) :- supprime(X,R,RsansX),!.
supprime(X,[P|R],[P|RsansX]) :- supprime(X,R,RsansX),!.

Quand je rentre supprime(2,[3,5,2,1,2,8,2], R) j'ai bien R=[3,5,1,8]
Mais si je rentre supprime(arc(_,a), [arc(b,a),arc(c,a),arc(d,a)],R) seul l'arc(b,a) est supprimé!

Qu'est ce qui ne vas pas? J'ai fait la trace et il unifie _ avec b et garde le b!
Que dois je faire?
Merci de vos réponses.

[Trap D]

Difficile de te répondre comme ça, tu es victime de l'unification.

[EDIT] Je viens de tester une méthode qui fonctionne : récupérer dans une liste tous les éléments qui satisfont au "template" X et les enlever ensuite 1 à 1. :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
supprime(_X,[],[]).
supprime(X,[X|R],RsansX) :-
	!,
	supprime(X,R,RsansX).
 
supprime(X,[P|R],[P|RsansX]) :-
	supprime(X,R,RsansX),
	!.
 
 
sup(X, L, LsansX) :-
	bagof(X, member(X, L), LX),
	sup1(LX, L, LsansX).
 
sup1([], L, L).
 
sup1([H | T], L1, L) :-
	sup1(T, L1, L2),
	supprime(H, L2, L).

Sortie

24 ?- sup(arc(_,a), [arc(b,a),arc(c,a),arc(d,a)],R).
R = [].

25 ?- sup(2,[3,5,2,1,2,8,2], R).
R = [3, 5, 1, 8].

26 ?- sup(arc(_,a), [arc(b,a),arc(c,a),arc(d,a), arc(_, b)],R).
R = [arc(_G600, b)].

27 ?- sup(arc(_,a), [arc(b,a),arc(c,a),arc(d,a), arc(a, b)],R).
R = [arc(a, b)].

Mais j'avoue que cette méthode n'est pas très satisfaisante.

[honrisse]

Effectivement ça marche merci! Je regarderais le code plus en détail plus tard!