Discussion :

[etplus]

Bonjour, je veux realiser une fonction pour affichier tout les tuple et triplet de N
par example: test(4,C)
il doit me repondre
=>list de toue les elements[4,3,2,1]
=>tout les triplet

Code :

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

1
2
3
4
5
6
7
[4,3,2]
 
true ? a[4,3,1]
 
true[4,2,1]
 
true[3,2,1]

=>tout les tuplet

Code :

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

1
2
3
4
5
6
7
8
9
10
11
[4,3]
 
true ? a[4,2]
 
true[4,1]
 
true[3,2]
 
true[3,1]
 
true[2,1]

mais, maintenant je utiliser une seul fonction pour creer des tuplets et triplets
ca me donner une mauvais resultat, comment je dois modifer mon programme?

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
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
| ?- test(4,C).
[4,3,2,1][4,3,2][4,3]
 
true ? a[4,2]
 
true[4,1]
 
true[3,2]
 
true[3,1]
 
true[2,1]
 
true[4,3,1][4,3]
 
true[4,2]
 
true[4,1]
 
true[3,2]
 
true[3,1]
 
true[2,1]
 
true[4,2,1][4,3]
 
true[4,2]
 
true[4,1]
 
true[3,2]
 
true[3,1]
 
true[2,1]
 
true[3,2,1][4,3]
 
true[4,2]
 
true[4,1]
 
true[3,2]
 
true[3,1]
 
true[2,1]
 
true
 
(4 ms) no

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
20
21
22
23
24
25
26
27
list(0,[]).	
list(N,[N|L]):-
	N > 0,
	N1 is N-1,
	list(N1,L).
 
 
permutations(0,_,[]).
permutations(N,[X|T],[X|Comb]):-
	N>0,
	N1 is N-1,
	permutations(N1,T,Comb).
 
permutations(N,[_|T],Comb):-
	N>0,
	permutations(N,T,Comb).
 
 
 
test(N,C):-
	list(N,L),
	write(L),
 
	permutations(3,L,Triple),
	write(Triple),
	permutations(2,L,Tuple),
	write(Tuple).

[Trap D]

En SWI-Prolog, pour définir une liste de 1 à L, tu as

Code :

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

1
2
3
numlist(+Low, +High, -List)
    If  Low and High are integers with Low=< High, unify List to a list
    [Low, Low +1, ...High].  See also between/3.

[Trap D]

Pour ce qui est créer les combinaisons, tu peux lire cet article.

[etplus]

En SWI-Prolog, pour définir une liste de 1 à L, tu as

Code :

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

1
2
3
numlist(+Low, +High, -List)
    If  Low and High are integers with Low=< High, unify List to a list
    [Low, Low +1, ...High].  See also between/3.

si je veux une liste de 1 à L

numlist(1,N,L). ?
mais j'ai utlise gprolog, je sais pas SWI-Prolog.

[etplus]

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
20
21
22
23
24
list(0,[]).	
list(N,[N|L]):-
	N > 0,
	N1 is N-1,
	list(N1,L).
 
 
permutations(0,_,[]).
permutations(N,[X|T],[X|Comb]):-
	N>0,
	N1 is N-1,
	permutations(N1,T,Comb).
 
permutations(N,[_|T],Comb):-
	N>0,
	permutations(N,T,Comb).
	%write(Comb).	
 
 
test(N):-
	list(N,L),
	%write(L),
	permutations(2,L,Ls),
	write(Ls).

si je teste en test(4).
le resultat est

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
 
| ?- test(4).
[4,3]
 
true ? a[4,2]
 
true[4,1]
 
true[3,2]
 
true[3,1]
 
true[2,1]
 
true
 
no
{1}

comment je peut modifier pour obtenir une seul list
[[4,3],[4,2],[4,1],[3,2],[3,1],[2,1]]?

[Trap D]

Salut

Je ne connais pas très bien gprolog, mais tu peux faire comme celà, des spécialistes me corrigeront sûrement :

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
20
21
22
23
24
25
26
27
28
29
30
31
:- dynamic(lst/1).
 
list(0,[]).	
list(N,[N|L]):-
	N > 0,
	N1 is N-1,
	list(N1,L).
 
 
permutations(0,_,[]).
permutations(N,[X|T],[X|Comb]):-
	N>0,
	N1 is N-1,
	permutations(N1,T,Comb).
 
permutations(N,[_|T],Comb):-
	N>0,
	permutations(N,T,Comb).
 
get_permutations(L) :-
		permutations(2, L, Ls),
		retract(lst(LP)),
		asserta(lst([Ls|LP])),
		fail.
 
test(N):-
	asserta(lst([])),
	list(N,L),
	\+get_permutations(L),
	lst(LP),
	write(LP), nl.

En fait je simule un peu le bagof de SWI-Prolog.
Je te laisse regarder la doc pour dynamic/1, asserta/1 et retract/1

[etplus]

Salut

Je ne connais pas très bien gprolog, mais tu peux faire comme celà, des spécialistes me corrigeront sûrement :

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
20
21
22
23
24
25
26
27
28
29
30
31
:- dynamic(lst/1).
 
list(0,[]).	
list(N,[N|L]):-
	N > 0,
	N1 is N-1,
	list(N1,L).
 
 
permutations(0,_,[]).
permutations(N,[X|T],[X|Comb]):-
	N>0,
	N1 is N-1,
	permutations(N1,T,Comb).
 
permutations(N,[_|T],Comb):-
	N>0,
	permutations(N,T,Comb).
 
get_permutations(L) :-
		permutations(2, L, Ls),
		retract(lst(LP)),
		asserta(lst([Ls|LP])),
		fail.
 
test(N):-
	asserta(lst([])),
	list(N,L),
	\+get_permutations(L),
	lst(LP),
	write(LP), nl.

En fait je simule un peu le bagof de SWI-Prolog.
Je te laisse regarder la doc pour dynamic/1, asserta/1 et retract/1

j'ai le teste ,une fois lance, ca marche , mais si on continue, c'est faut
je pense le resultat de combiler est dans le memoire, quelque fonction vous utlisez je pas compris

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
 
yes
| ?- test(4).
[[2,1],[3,1],[3,2],[4,1],[4,2],[4,3]]
 
true ? a
 
no
| ?- test(3).
[[2,1],[3,1],[3,2],[2,1],[3,1],[3,2],[4,1],[4,2],[4,3]]
 
true ? a[[2,1],[3,1],[3,2]]
 
true
 
no
| ?-

[Trap D]

Il y a effectivement une erreur dans mon code, il faut initialiser lst au début en enlevant les mémorisations précédentes de lst.

Code :

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

1
2
3
4
5
6
7
test(N):-
	retractall(lst(_)),
	asserta(lst([])),
	list(N,L),
	\+get_permutations(L),
	lst(LP),
	write(LP), nl.

je ne sais pas si le retractall existe en gprolog