Liste avec les variables anonymes

**bakhoucha** · 02/10/2006, 01h06

Bonjour, c'est encore moi...

Je veux enlever les redondances d'une liste avec les variables anonymes, avec le prédicat sort/2 :

Code :

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

1
2
3
4
5
6
 
| ?- sort([vole(_), leger(_), vole(_)], L).
 
L = [leger(_),vole(_),vole(_)]
 
yes

est ce qu'il y a moyen pour le faire?

Merci d'avance.

**pcaboche** · 02/10/2006, 01h34

Envoyé par bakhoucha

Bonjour, c'est encore moi...

Bonsoir bakhoucha,

Le forum Prolog vous remercie pour votre fidélité et vous souhaite un agréable séjour.

Envoyé par bakhoucha

est ce qu'il y a moyen pour le faire?

Pour faire court : non.

Envoyé par bakhoucha

Merci d'avance.

Ben de rien...

**pcaboche** · 02/10/2006, 01h40

Envoyé par pcaboche

Pour faire court : non.

Rectification: en fait, si, il peut le faire :

Code :

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

1
2
3
|?- list_to_set([vole(_), leger(_), vole(_)], L).
 
L = [vole(_G452), leger(_G457)]

Je ne pensais pas que ça marcherait avec des variables libres à l'intérieur de la liste. Comme quoi...

**bakhoucha** · 02/10/2006, 02h44

Merci bien pcaboche, c'est vraiment gentil et responsable de ta part...

**bakhoucha** · 02/10/2006, 08h07

ayy, ca marche pas avec le gnu prolog...c pour le SWI

**pcaboche** · 02/10/2006, 11h00

Dans ce cas, il va falloir implémenter le list_to_set pour gprolog.

**bakhoucha** · 02/10/2006, 14h22

Comment g pas compris

?

**pcaboche** · 02/10/2006, 14h41

Envoyé par bakhoucha

Comment g pas compris

?

Si ça marche pas chez toi, va falloir implémenter un prédicat qui marche, c'est tout (par ailleurs, tu dis "ça marche pas" sans donner d'autre explication. Nous on ne peut rien faire...

).

**bakhoucha** · 02/10/2006, 14h45

ok

**billynirvana** · 04/10/2006, 08h46

Voici un algo en prolog qui enlève les doublons:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
%- enlever_doublons(l, m) enleve tous les elements redondants de l et met le resultat dans m -%
enlever_doublons(nil, nil)->;
enlever_doublons(x.l, x.m)->
	hors_de(x, l)!
	enlever_doublons(l, m);
enlever_doublons(x.l, m)->
	enlever_doublons(l, m);
 
hors_de(x, nil)->;
hors_de(x, y.l)->
	dif(x, y)
	hors_de(x, l);