Discussion :

[psyko72]

Bonjour a tout le monde

voila j'ai un projet en prolog et j'aurai besoin de votre aide pour écrire une fonction
qui peut énumérer toutes les possibilité je m'explique

exemple

Code :

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

1
2
3
4
5
6
7
8
fct([1,2,3],R).
R=[1];
R=[2];
R=[3];
R=[1,2];
R=[1,3]
R=[2,3];
R=[1,2,3];

[gorgonite]

ce que tu souhaites s'appelle une partitions de [1,2,3]... pour cela il suffit de vérifier que tout élément de R est dans [1,2,3]

nb: attention aux doublons


essaies de coder deux fonctionnalités :
+ tester si tous les éléments de R sont distincts
+ tester si R est inclus dans [1,2,3]

[psyko72]

Merci pour ta reponse

+ tester si tous les éléments de R sont distincts

Code :

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

1
2
3
4
distinct([]).
distinct([X1|X2]):-
        not(member(X1,X2)),
        distinct(X2).

j'ai plus du mal pour tester si R est inclus dans [1,2,3] si tu peut m'aider

[gorgonite]

j'ai plus du mal pour tester si R est inclus dans [1,2,3] si tu peut m'aider

un truc du genre... (code pas testé bien sur, faut que tu bosses )

Code :

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

1
2
3
4
5
 
inclus([],L).
inclus([Hd|Tl],L) :-
    member(Hd,L),
    inclus(Tl,L).

[psyko72]

voila sa marche mais y a des doublon si tu peut m'aider

Code :

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

1
2
3
4
5
inclus(_,[]).
inclus(L,[Hd|Tl]) :-
        member(Hd,L),
        select(Hd,L,Y),
        inclus(Y,Tl).

resultat de inclut([1,2,3],X).

X = [] ;
X = [1] ;
X = [1, 2] ;
X = [1, 2, 3] ;
X = [1, 3] ;
X = [1, 3, 2] ;
X = [2] ;
X = [2, 1] ;
X = [2, 1, 3] ;
X = [2, 3] ;
X = [2, 3, 1] ;
X = [3] ;
X = [3, 1] ;
X = [3, 1, 2] ;
X = [3, 2] ;
X = [3, 2, 1] ;
No

[gorgonite]

penses à cliquer sur

[psyko72]

ben non c'est pas encore resolu il faut eliminer les doublons
je travaille decu si vous pouvez m aider

[gorgonite]

ben non c'est pas encore resolu il faut eliminer les doublons
je travaille decu si vous pouvez m aider

ben tu ajoutes la contrainte que la liste doit etre triée

Code :

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

sort(L,L).

[pcaboche]

La politique ici, c'est de laisser les visiteurs réféchir par eux-mêmes et ne pas trop mâcher le travail. Par contre, pour des problèmes simples (comme celui là), il vaut mieux éviter de dériver vers des solutions trop alambiquées.

Là, je suis au travail, j'ai fini ma journée (donc je peux répondre) mais je n'ai pas de quoi exécuter Prolog (donc je ne peux pas tester).

Néanmoins, je pense que la solution suivante devrait marcher:

Code :

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

1
2
3
4
5
6
7
fct([T|_],[T]).
fct([T|Q],R) :-
  fct(Q,Q1),
  fct1(T,Q1,R).
 
fct1(_,Q,Q).
fct1(T,Q,[T|Q]).