Discussion :

[C_C]

Salut,

Voici mon problème:
J'ai une base de faits et je veux garder tous les faits dans une liste.
Les faits:

Code :

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

1
2
3
4
object(obj1).
object(obj2).
object(obj3).
object(obj4).

L'appel du prédicat:

Code :

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

objects(Liste).

Et le résultat que j'attends:

Liste=[obj1,obj2,obj3,obj4,obj5]

Quelqu'un peut m'aider?
Si nécessaire je peut montrer ce que j'ai (mal) fait.

[Trap D]

Par exemple :

Code :

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

1
2
objects(L) :-
	bagof(X, object(X), L).

[C_C]

Et oui...
J'y avais pas pensé.

Mais par contre ça ne marche pas pour le cas suivant (toujours dans le même contexte).
les faits:

Code :

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

1
2
3
4
5
tipo(obj1, table).
type(obj2, chaise).
type(obj3, table).
type(obj4, vase).
type(obj5, tambour).

Je veux une liste avec tous les types d'objects sans éléments en double, alors j'utilise 'setof' au lieu de 'bagof'.

J'ai fait ceci:

Code :

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

types_objects(L):-setof(X,type(_,X),L).

mais ça me rend pas la liste complète.

[Trap D]

Essaye ceci :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
nettoie([], L, L).
 
nettoie([X|L1], L2, L3) :-
	memberchk(X, L2), !, nettoie(L1, L2, L3).
 
nettoie([X | L1], L2, L3) :-
	append([X], L2, L22), nettoie(L1, L22, L3).
 
types_objects(L):-
	findall(X,type(_,X),L1),
	nettoie(L1, [], L).

[pcaboche]

Plus simple:

Code :

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

1
2
3
4
5
6
7
8
9
10
type(obj1, table).
type(obj2, chaise).
type(obj3, table).
type(obj4, vase).
type(obj5, tambour).
 
type2(T) :- type(_, T).
 
 
types_objects(L):-setof(X, type2(X), L).

[C_C]

Merci pour vos solutions. Les deux donnent le bon résultat. La différence est que l'utilisation de 'setof' renvoie la liste ordonnée alphabétiquement, mais ce n'est pas important dans ce cas lá.
D'ailleurs, la solution que j'ai posté est très proche de celle de pcaboche. Il faut que je comprenne la différence entre les deux.
A+.