Discussion :

[alexglvr]

Voila le code pour un cas réel avec cplfd

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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
:- use_module(library(clpfd)).
tuple_possible3(Vars) :-
        % je définis les différents ensembles
	E0 = 1..30,
	E1 = 2..11\/13..22\/25..27\/29..30,
	E2 = 2..11\/13..22\/25..27\/29..30,							
	E3 = 2..11\/13..22\/25..27\/29..30,						
	E4 = 2..11\/13..22\/25..27\/29..30,							
	E5 = 2..11\/13..16\/18..22\/25..27\/29..30,							
	E6 = 2..11\/13..16\/19..22\/25..27\/29..30,							
	E7 = 2..11\/13..16\/19..22\/25..27\/29..30,							
	E8 = 2\/4..11\/13..16\/19..22\/25..27\/29,							
	E9 = 2\/5..11\/13..16\/19..22\/25..27\/29,							
	E10 = 5..11\/13..16\/19..22\/25..27\/29,							
	E11 = 5..11\/13..16\/19..22\/25..27\/29,							
	E12 = 5\/7..11\/13..14\/16\/19..22\/26..27\/29,							
	E13 = 5\/7..11\/13..14\/16\/19..22\/26..27\/29,							
	E14 = 5\/7..11\/13..14\/16\/19..22\/26..27\/29,										
	E15 = 5\/7..11\/13..14\/16\/19..20\/22\/26..27\/29,										
	E16 = 5\/7..11\/13..14\/16\/19..20\/22\/26..27\/29,										
	E17 = 5\/7\/9..11\/13..14\/16\/19..20\/22\/26..27\/29,									
	E18 = 7\/9..11\/13..14\/16\/19\/22\/27\/29,										
	E19 = 9..11\/13..14\/16\/19\/29,	
 
 
	Vars = [Y1,Y2,Y3,Y4],
	Vars in E0,
 
 
      % Elles sont toutes différentes
      % Pour éviter les solutions multiples, autant les ranger
	Y1 #< Y2, Y2 #< Y3, Y3 #< Y4, 
 
	% au maximum 2 consecutifs
 
	(   ((1 is Y2-Y1), \+(1 is Y3-Y2), \+(1 is Y4-Y3));
	    (\+(1 is Y2-Y1), (1 is Y3-Y2), \+(1 is Y4-Y3));
	    (\+(1 is Y2-Y1), \+(1 is Y3-Y2), (1 is Y4-Y3));
	    (\+(1 is Y2-Y1), \+(1 is Y3-Y2), \+(1 is Y4-Y3))),
 
	%	Contrainte 1 : au moins 2 app pas a e19
 
           #\ Y1 in E19 #<==> C1_1, #\ Y2 in E19 #<==> C1_2,
           #\ Y3 in E19 #<==> C1_3, #\ Y4 in E19 #<==> C1_4,
           C1_1+C1_2+C1_3+C1_4 #>= 2,
 
 
	%	Contrainte 2 : au moins 2 app pas a e18
 
           #\ Y1 in E18 #<==> C2_1, #\ Y2 in E18 #<==> C2_2,
           #\ Y3 in E18 #<==> C2_3, #\ Y4 in E18 #<==> C2_4,
           C2_1+C2_2+C2_3+C2_4 #>= 2,
 
 
	%	Contrainte 3 : au moins 1 app pas à E17
 
           #\ Y1 in E17 #<==> C3_1, #\ Y2 in E17 #<==> C3_2,
           #\ Y3 in E17 #<==> C3_3, #\ Y4 in E17 #<==> C3_4,
           C3_1+C3_2+C3_3+C3_4 #>= 1,
 
	%	Contrainte 4 : 3 ou 4 app E16
 
           Y1 in E16 #<==> C4_1,  Y2 in E16 #<==> C4_2,
            Y3 in E16 #<==> C4_3,  Y4 in E16 #<==> C4_4,
           C4_1+C4_2+C4_3+C4_4 #= 3, C4_1+C4_2+C4_3+C4_4 #= 4, 
 
	%	Contrainte 5 : 3 ou 4 app E15
 
           Y1 in E15 #<==> C5_1,  Y2 in E15 #<==> C5_2,
            Y3 in E15 #<==> C5_3,  Y4 in E15 #<==> C5_4,
           C5_1+C5_2+C5_3+C5_4 #= 3, C5_1+C5_2+C5_3+C5_4 #= 4, 
 
	%	Contrainte 6 : 3 ou 4 app E14
 
           Y1 in E14 #<==> C6_1,  Y2 in E14 #<==> C6_2,
            Y3 in E14 #<==> C6_3,  Y4 in E14 #<==> C6_4,
           C6_1+C6_2+C6_3+C6_4 #= 3, C6_1+C6_2+C6_3+C6_4 #= 4, 
 
	%	Contrainte 7 : 3 ou 4 app E13
 
           Y1 in E13 #<==> C7_1,  Y2 in E13 #<==> C7_2,
            Y3 in E13 #<==> C7_3,  Y4 in E13 #<==> C7_4,
           C7_1+C7_2+C7_3+C7_4 #= 3, C7_1+C7_2+C7_3+C7_4 #= 4, 
 
	%	Contrainte 8 : 3 ou 4 app E12
 
           Y1 in E12 #<==> C8_1,  Y2 in E12 #<==> C8_2,
            Y3 in E12 #<==> C8_3,  Y4 in E12 #<==> C8_4,
           C8_1+C8_2+C8_3+C8_4 #= 3, C8_1+C8_2+C8_3+C8_4 #= 4, 
 
	%	Contrainte 9 : 3,4 ou5 app E11
 
           Y1 in E11 #<==> C9_1,  Y2 in E11 #<==> C9_2,
            Y3 in E11 #<==> C9_3,  Y4 in E11 #<==> C9_4,
           C9_1+C9_2+C9_3+C9_4 #>= 3, C9_1+C9_2+C9_3+C9_4 #=<5, 
 
	%	Contrainte 10 : 3,4 ou5 app E10
 
           Y1 in E10 #<==> C10_1,  Y2 in E10 #<==> C10_2,
            Y3 in E10 #<==> C10_3,  Y4 in E10 #<==> C10_4,
           C10_1+C10_2+C10_3+C10_4 #>= 3, C10_1+C10_2+C10_3+C10_4 #=<5, 
 
	%	Contrainte 11 : 3,4 ou5 app E9
 
           Y1 in E9 #<==> C11_1,  Y2 in E9 #<==> C11_2,
            Y3 in E9 #<==> C11_3,  Y4 in E9 #<==> C11_4,
           C11_1+C11_2+C11_3+C11_4 #>= 3, C11_1+C11_2+C11_3+C11_4 #=<5,  
 
	%	Contrainte 12 : 3,4 ou5 app E8
 
           Y1 in E8 #<==> C12_1,  Y2 in E8 #<==> C12_2,
            Y3 in E8 #<==> C12_3,  Y4 in E8 #<==> C12_4,
           C12_1+C12_2+C12_3+C12_4 #>= 3, C12_1+C12_2+C12_3+C12_4 #=<5, 
 
	%	Contrainte 13 : 3,4 ou5 app E7
 
           Y1 in E7 #<==> C13_1,  Y2 in E7 #<==> C13_2,
            Y3 in E7 #<==> C13_3,  Y4 in E7 #<==> C13_4,
           C13_1+C13_2+C13_3+C13_4 #>= 3, C13_1+C13_2+C13_3+C13_4 #=<5, 
 
	%	Contrainte 14 : 3,4 ou5 app E6
 
           Y1 in E6 #<==> C14_1,  Y2 in E6 #<==> C14_2,
            Y3 in E6 #<==> C14_3,  Y4 in E6 #<==> C14_4,
           C14_1+C14_2+C14_3+C14_4 #>= 3, C14_1+C14_2+C14_3+C14_4 #=<5, 
 
	%	Contrainte 15 : 3,4 ou5 app E5
 
           Y1 in E5 #<==> C15_1,  Y2 in E5 #<==> C15_2,
            Y3 in E5 #<==> C15_3,  Y4 in E5 #<==> C15_4,
           C15_1+C15_2+C15_3+C15_4 #>= 3, C15_1+C15_2+C15_3+C15_4 #=<5, 
 
	%	Contrainte 16 : 3,4 ou5 app E4
 
           Y1 in E4 #<==> C16_1,  Y2 in E4 #<==> C16_2,
            Y3 in E4 #<==> C16_3,  Y4 in E4 #<==> C16_4,
           C16_1+C16_2+C16_3+C16_4 #>= 3, C16_1+C16_2+C16_3+C16_4 #=<5, 
 
	%	Contrainte 17 : 3,4 ou5 app E3
 
           Y1 in E3 #<==> C17_1,  Y2 in E3 #<==> C17_2,
            Y3 in E3 #<==> C17_3,  Y4 in E3 #<==> C17_4,
           C17_1+C17_2+C17_3+C17_4 #>= 3, C17_1+C17_2+C17_3+C17_4 #=<5, 
 
	%	Contrainte 18 : 3,4 ou5 app E2
 
           Y1 in E2 #<==> C18_1,  Y2 in E2 #<==> C18_2,
            Y3 in E2 #<==> C18_3,  Y4 in E2 #<==> C18_4,
           C18_1+C18_2+C18_3+C18_4 #>= 3, C18_1+C18_2+C18_3+C18_4 #=<5,
 
 
	label(Vars).
 
 
test :-
	time(setof(Vars3, tuple_possible3(Vars3), L3)),
	length(L3, N3),
	writeln(N3).

Je ne suis pas certain de:

- contraintes 4, 5, 6, 7, 8 : 3 ou 4 appartiennent à Ex.
- contraintes 9 à 18 : 3,4, ou5 appartiennent à Ex.

Je ne vois pas trop a quoi sert label(Vars) et time()...

Sinon, la compilation se passe bien (juste un warning sur l'ensemble E1 qui n'est pas utilisé). Par contre l'exécution renvoie :

37 ?- test.
% 43 inferences, 0.00 CPU in 0.00 seconds (?% CPU, Infinite Lips)
ERROR: Type error: `integer' expected, found `[_G308, _G311, _G314, _G317]'

Alex

[Trap D]

time sert à avoir des statistiques sur la durée d'exécution et ze nombre d'inférences du prog.
label(Vars) est indispensables pour les unifications dans le système de contraintes.

[Trap D]

Quelques erreurs de syntaxe (Vars ins) et des corrections dans le code:

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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
:- use_module(library(clpfd)).
tuple_possible3(Vars) :-
        % je définis les différents ensembles
	E0 = 1..30,
	% E1 = 2..11\/13..22\/25..27\/29..30,
	E2 = 2..11\/13..22\/25..27\/29..30,							
	E3 = 2..11\/13..22\/25..27\/29..30,						
	E4 = 2..11\/13..22\/25..27\/29..30,							
	E5 = 2..11\/13..16\/18..22\/25..27\/29..30,							
	E6 = 2..11\/13..16\/19..22\/25..27\/29..30,							
	E7 = 2..11\/13..16\/19..22\/25..27\/29..30,							
	E8 = 2\/4..11\/13..16\/19..22\/25..27\/29,							
	E9 = 2\/5..11\/13..16\/19..22\/25..27\/29,							
	E10 = 5..11\/13..16\/19..22\/25..27\/29,							
	E11 = 5..11\/13..16\/19..22\/25..27\/29,							
	E12 = 5\/7..11\/13..14\/16\/19..22\/26..27\/29,							
	E13 = 5\/7..11\/13..14\/16\/19..22\/26..27\/29,							
	E14 = 5\/7..11\/13..14\/16\/19..22\/26..27\/29,										
	E15 = 5\/7..11\/13..14\/16\/19..20\/22\/26..27\/29,										
	E16 = 5\/7..11\/13..14\/16\/19..20\/22\/26..27\/29,										
	E17 = 5\/7\/9..11\/13..14\/16\/19..20\/22\/26..27\/29,									
	E18 = 7\/9..11\/13..14\/16\/19\/22\/27\/29,										
	E19 = 9..11\/13..14\/16\/19\/29,	
 
 
	Vars = [Y1,Y2,Y3,Y4],
	Vars ins E0,
 
 
      % Elles sont toutes différentes
      % Pour éviter les solutions multiples, autant les ranger
	Y1 #< Y2, Y2 #< Y3, Y3 #< Y4, 
 
	% au maximum 2 consecutifs
	(Y2 - Y1 #= 1)#<==> C0_1,
	(Y3 - Y2 #= 1)#<==> C0_2,
	(Y4 - Y3 #= 1)#<==> C0_3,
	 C0_1+C0_2+C0_3 #=< 1,
*
	(   ((1 #= Y2-Y1), \+(1 #=  Y3-Y2), \+(1 #=  Y4-Y3));
	    (\+(1 #=  Y2-Y1), (1 #=  Y3-Y2), \+(1 #=  Y4-Y3));
	    (\+(1 #=  Y2-Y1), \+(1 #=  Y3-Y2), (1 #=  Y4-Y3));
	    (\+(1 #=  Y2-Y1), \+(1 #=  Y3-Y2), \+(1 #=  Y4-Y3))),
*/
	%	Contrainte 1 : au moins 2 app pas a e19
 
           #\ Y1 in E19 #<==> C1_1, #\ Y2 in E19 #<==> C1_2,
           #\ Y3 in E19 #<==> C1_3, #\ Y4 in E19 #<==> C1_4,
           C1_1+C1_2+C1_3+C1_4 #>= 2,
 
 
	%	Contrainte 2 : au moins 2 app pas a e18
 
           #\ Y1 in E18 #<==> C2_1, #\ Y2 in E18 #<==> C2_2,
           #\ Y3 in E18 #<==> C2_3, #\ Y4 in E18 #<==> C2_4,
           C2_1+C2_2+C2_3+C2_4 #>= 2,
 
 
	%	Contrainte 3 : au moins 1 app pas à E17
 
           #\ Y1 in E17 #<==> C3_1, #\ Y2 in E17 #<==> C3_2,
           #\ Y3 in E17 #<==> C3_3, #\ Y4 in E17 #<==> C3_4,
           C3_1+C3_2+C3_3+C3_4 #>= 1,
 
	%	Contrainte 4 : 3 ou 4 app E16
 
           Y1 in E16 #<==> C4_1,  Y2 in E16 #<==> C4_2,
            Y3 in E16 #<==> C4_3,  Y4 in E16 #<==> C4_4,
            C4_1+C4_2+C4_3+C4_4 #>= 3 , C4_1+C4_2+C4_3+C4_4 #=< 4,
 
	%	Contrainte 5 : 3 ou 4 app E15
 
           Y1 in E15 #<==> C5_1,  Y2 in E15 #<==> C5_2,
            Y3 in E15 #<==> C5_3,  Y4 in E15 #<==> C5_4,
           C5_1+C5_2+C5_3+C5_4 #>= 3, C5_1+C5_2+C5_3+C5_4 #=< 4, 
 
	%	Contrainte 6 : 3 ou 4 app E14
 
           Y1 in E14 #<==> C6_1,  Y2 in E14 #<==> C6_2,
            Y3 in E14 #<==> C6_3,  Y4 in E14 #<==> C6_4,
            C6_1+C6_2+C6_3+C6_4 #>= 3, C6_1+C6_2+C6_3+C6_4 #=< 4, 
 
	%	Contrainte 7 : 3 ou 4 app E13
 
           Y1 in E13 #<==> C7_1,  Y2 in E13 #<==> C7_2,
            Y3 in E13 #<==> C7_3,  Y4 in E13 #<==> C7_4,
              C7_1+C7_2+C7_3+C7_4 #>= 3, C7_1+C7_2+C7_3+C7_4 #=< 4, 
 
	%	Contrainte 8 : 3 ou 4 app E12
 
           Y1 in E12 #<==> C8_1,  Y2 in E12 #<==> C8_2,
            Y3 in E12 #<==> C8_3,  Y4 in E12 #<==> C8_4,
            C8_1+C8_2+C8_3+C8_4 #>= 3, C8_1+C8_2+C8_3+C8_4 #=< 4, 
 
	%	Contrainte 9 : 3,4 ou5 app E11
 
           Y1 in E11 #<==> C9_1,  Y2 in E11 #<==> C9_2,
            Y3 in E11 #<==> C9_3,  Y4 in E11 #<==> C9_4,
           C9_1+C9_2+C9_3+C9_4 #>= 3, C9_1+C9_2+C9_3+C9_4 #=<5, 
 
	%	Contrainte 10 : 3,4 ou5 app E10
 
           Y1 in E10 #<==> C10_1,  Y2 in E10 #<==> C10_2,
            Y3 in E10 #<==> C10_3,  Y4 in E10 #<==> C10_4,
           C10_1+C10_2+C10_3+C10_4 #>= 3, C10_1+C10_2+C10_3+C10_4 #=<5, 
 
	%	Contrainte 11 : 3,4 ou5 app E9
 
           Y1 in E9 #<==> C11_1,  Y2 in E9 #<==> C11_2,
            Y3 in E9 #<==> C11_3,  Y4 in E9 #<==> C11_4,
           C11_1+C11_2+C11_3+C11_4 #>= 3, C11_1+C11_2+C11_3+C11_4 #=<5,  
 
	%	Contrainte 12 : 3,4 ou5 app E8
 
           Y1 in E8 #<==> C12_1,  Y2 in E8 #<==> C12_2,
            Y3 in E8 #<==> C12_3,  Y4 in E8 #<==> C12_4,
           C12_1+C12_2+C12_3+C12_4 #>= 3, C12_1+C12_2+C12_3+C12_4 #=<5, 
 
	%	Contrainte 13 : 3,4 ou5 app E7
 
           Y1 in E7 #<==> C13_1,  Y2 in E7 #<==> C13_2,
            Y3 in E7 #<==> C13_3,  Y4 in E7 #<==> C13_4,
           C13_1+C13_2+C13_3+C13_4 #>= 3, C13_1+C13_2+C13_3+C13_4 #=<5, 
 
	%	Contrainte 14 : 3,4 ou5 app E6
 
           Y1 in E6 #<==> C14_1,  Y2 in E6 #<==> C14_2,
            Y3 in E6 #<==> C14_3,  Y4 in E6 #<==> C14_4,
           C14_1+C14_2+C14_3+C14_4 #>= 3, C14_1+C14_2+C14_3+C14_4 #=<5, 
 
	%	Contrainte 15 : 3,4 ou5 app E5
 
           Y1 in E5 #<==> C15_1,  Y2 in E5 #<==> C15_2,
            Y3 in E5 #<==> C15_3,  Y4 in E5 #<==> C15_4,
           C15_1+C15_2+C15_3+C15_4 #>= 3, C15_1+C15_2+C15_3+C15_4 #=<5, 
 
	%	Contrainte 16 : 3,4 ou5 app E4
 
           Y1 in E4 #<==> C16_1,  Y2 in E4 #<==> C16_2,
            Y3 in E4 #<==> C16_3,  Y4 in E4 #<==> C16_4,
           C16_1+C16_2+C16_3+C16_4 #>= 3, C16_1+C16_2+C16_3+C16_4 #=<5, 
 
	%	Contrainte 17 : 3,4 ou5 app E3
 
           Y1 in E3 #<==> C17_1,  Y2 in E3 #<==> C17_2,
            Y3 in E3 #<==> C17_3,  Y4 in E3 #<==> C17_4,
           C17_1+C17_2+C17_3+C17_4 #>= 3, C17_1+C17_2+C17_3+C17_4 #=<5, 
 
	%	Contrainte 18 : 3,4 ou5 app E2
 
           Y1 in E2 #<==> C18_1,  Y2 in E2 #<==> C18_2,
            Y3 in E2 #<==> C18_3,  Y4 in E2 #<==> C18_4,
           C18_1+C18_2+C18_3+C18_4 #>= 3, C18_1+C18_2+C18_3+C18_4 #=<5,
 
 
	label(Vars).

J'obtiens 4331 solutions

[alexglvr]

merci beaucoup...Ça tourne...

Comment faire pour stocker les combinaisons dans un fichier texte et pouvoir les analyser?

Merci encore,

Alex

[Trap D]

Fais comme ça :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
test :-
	setof(Vars3, tuple_possible3(Vars3), L3),
	length(L3, N3),
	writeln(N3),
       % tu ouvres un fichier en écriture, 
       % donne le chemin d'accès complet au fichier texte
	tell('D:/Developpements/Prolog/DVP/resultats.txt'),
        % tu écrid les tuples à la suite ligne par ligne
	maplist(writeln, L3),
        % tu fermes le fichier
	told.

[alexglvr]

ça marche super bien... Merci encore...

J'ai voulu rajouter une contrainte de répartition par dizaine...
Je veux que les 4 vars soient reparties sur deux ou trois dizaines...

Voila le code (NB: E0=1..40,)

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
53
54
55
56
57
58
59
60
61
62
63
:- use_module(library(clpfd)).
tuple_possible3(Vars) :-
        % je définis les différents ensembles
	E0 = 1..40,
	% E1 = 2..11\/13..22\/25..27\/29..30\/35..40,
 
	....
 
	E20 = 10\/14\/16\/29,
 
 
	D1 = 1..10,
	D2 = 11..20,
	D3 = 21..30,
	D4 = 31..40,
 
	Vars = [Y1,Y2,Y3,Y4],
	Vars ins E0,
 
 
      % Elles sont toutes différentes
      % Pour éviter les solutions multiples, autant les ranger
	Y1 #< Y2, Y2 #< Y3, Y3 #< Y4, 
 
	% au maximum 2 consecutifs
 
	(Y2 - Y1 #= 1)#<==> C0_1,
	(Y3 - Y2 #= 1)#<==> C0_2,
	(Y4 - Y3 #= 1)#<==> C0_3,
	 C0_1+C0_2+C0_3 #=< 1,
 
	% repartition dixaine 
 
	Y1 in D1 #<==> CD1_1,
	Y2 in D1 #<==> CD1_2,
	Y3 in D1 #<==> CD1_3,
	Y4 in D1 #<==> CD1_4,
 
	CD1_1+CD1_2+CD1_3+CD1_4 #>= 1 #<==> D1_1,
 
	Y1 in D2 #<==> CD2_1,
	Y2 in D2 #<==> CD2_2,
	Y3 in D2 #<==> CD2_3,
	Y4 in D2 #<==> CD2_4,
 
	CD2_1+CD2_2+CD2_3+CD2_4 #>= 1 #<==> D2_1,
 
	Y1 in D3 #<==> CD3_1,
	Y2 in D3 #<==> CD3_2,
	Y3 in D3 #<==> CD3_3,
	Y4 in D3 #<==> CD3_4,
 
	CD3_1+CD3_2+CD3_3+CD3_4 #>= 1 #<==> D3_1,
 
	Y1 in D4 #<==> CD4_1,
	Y2 in D4 #<==> CD4_2,
	Y3 in D4 #<==> CD4_3,
	Y4 in D4 #<==> CD4_4,
 
	CD4_1+CD4_2+CD4_3+CD4_4 #>= 1 #<==> D4_1,
 
 
	D1_1+D2_1+D3_1+D4_1 #>=2, D1_1+D2_1+D3_1+D4_1 #=<3,

Ça a l'air de fonctionner... Peut on l'écrire mieux??

[Trap D]

Tu as une possibilité intéressante qui te permet de tester ton code directement dans le prompt Prolog, par exemple

Code :

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

tuple_possible3([1,2,4,5]).

Il te répond true ou false.
Ça te permet de voir si ton code fonctionne bien avec les cas particuliers.
Pour ce qui est de ton code il fonctionne bien, je vais réfléchir pour voir si on peut mieux faire.

[alexglvr]

Bonjour,

j'aurais besoin encore d'un petit coup de main svp...

Voila le Pb :

J'ai un ensemble E1. Cet ensemble est découpé en 3 sous ensembles ER1, ER2, ER3.

Je dois choisir 5 variables (Y1, Y2, Y3, Y4, Y5) tel que :

- (4 appartiennent pas à E1 et 1 Appartient à ER1)
OU (1 appartient pas à E1, 2 appartiennent à ER2 et 2 appartiennent à ER3)
OU (1 appartient pas à E1, 2 appartiennent à ER1, 1 appartient à ER2 et 1 appartient à ER3)

Voila le début du code définissant cette contrainte:

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


		#\ Y1 in E1 #<==> CER0_1,
		#\ Y2 in E1 #<==> CER0_2,
		#\ Y3 in E1 #<==> CER0_3,
		#\ Y4 in E1 #<==> CER0_4,
		#\ Y5 in E1 #<==> CER0_5,

		Y1 in ER1 #<==> CER1_1,
		Y2 in ER1 #<==> CER1_2,
		Y3 in ER1 #<==> CER1_3,
		Y4 in ER1 #<==> CER1_4,
		Y5 in ER1 #<==> CER1_5,

		Y1 in ER2 #<==> CER2_1,
		Y2 in ER2 #<==> CER2_2,
		Y3 in ER2 #<==> CER2_3,
		Y4 in ER2 #<==> CER2_4,
		Y5 in ER2 #<==> CER2_5,

		Y1 in ER3 #<==> CER3_1,
		Y2 in ER3 #<==> CER3_2,
		Y3 in ER3 #<==> CER3_3,
		Y4 in ER3 #<==> CER3_4,
		Y5 in ER3 #<==> CER3_5,

		CER0_1+CER0_2+CER0_3+CER0_4+CER0_5 #<==> CERT0,
		CER1_1+CER1_2+CER1_3+CER1_4+CER1_5 #<==> CERT1,
		CER2_1+CER2_2+CER2_3+CER2_4+CER2_5 #<==> CERT2,
		CER3_1+CER3_2+CER3_3+CER3_4+CER3_5 #<==> CERT3,

reste à dire (CERT0=4 et CERT1=1)OU(CERT0=1 et CERT2=2 et CERT3=2) ou
(CERT0=1 et CERT1=2 et CERT2=1 et CERT3=1)

Mais je ne vois pas trop comment....

Merci du coup de main,

Alex

[Trap D]

Voilà, j'ai réécrit tes conditions et ça semble marcher :

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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
	%4 appartiennent pas à E1 et 1 Appartient à ER1
	Y1 in E1 #<==> CE01,
	Y2 in E1 #<==> CE02,
	Y3 in E1 #<==> CE03,
	Y4 in E1 #<==> CE04,
	Y5 in E1 #<==> CE05,	
	(   CE01+CE02+CE03+CE04+CE05 #= 1) #<==>CC1,
 
	Y1 in ER1 #<==> CER01,
	Y2 in ER1 #<==> CER02,
	Y3 in ER1 #<==> CER03,
	Y4 in ER1 #<==> CER04,
	Y5 in ER1 #<==> CER05,	
	(   CER01+CER02+CER03+CER04+CER05 #= 1) #<==>CR1,
	% condition regroupant les 2 conditions précédentes
	(   CC1+CR1 #= 2)  #<==> C1,
 
	% 1 appartient pas à E1, 2 appartiennent à ER2 et 2 appartiennent à ER3
	#\ (Y1 in E1) #<==> CE11,
	#\ (Y2 in E1) #<==> CE12,
	#\ (Y3 in E1) #<==> CE13,
	#\ (Y4 in E1) #<==> CE14,
	#\ (Y5 in E1) #<==> CE15,
	(   CE11+CE12+CE13+CE14+CE15 #= 1) #<==>CC2,
 
	Y1 in ER2 #<==> CER11,
	Y2 in ER2 #<==> CER12,
	Y3 in ER2 #<==> CER13,
	Y4 in ER2 #<==> CER14,
	Y5 in ER2 #<==> CER15,	
	(   CER11+CER12+CER13+CER14+CER15 #= 2) #<==>CR2,
 
	Y1 in ER3 #<==> CER21,
	Y2 in ER3 #<==> CER22,
	Y3 in ER3 #<==> CER23,
	Y4 in ER3 #<==> CER24,
	Y5 in ER3 #<==> CER25,	
	(   CER21+CER22+CER23+CER24+CER25 #= 2) #<==>CR3,
 
	% condition regroupant les 3 conditions précédentes
	(   CC2+CR2+CR3 #= 3)  #<==> C2,
 
	% 1 appartient pas à E1, 2 appartiennent à ER1, 
	% 1 appartient à ER2 et 1 appartient à ER3
	#\ (Y1 in E1) #<==> CE21,
	#\ (Y2 in E1) #<==> CE22,
	#\ (Y3 in E1) #<==> CE23,
	#\ (Y4 in E1) #<==> CE24,
	#\ (Y5 in E1) #<==> CE25,
	(   CE21+CE22+CE23+CE24+CE25 #= 1) #<==>CC3,
 
	Y1 in ER1 #<==> CER31,
	Y2 in ER1 #<==> CER32,
	Y3 in ER1 #<==> CER33,
	Y4 in ER1 #<==> CER34,
	Y5 in ER1 #<==> CER35,	
	(   CER31+CER32+CER33+CER34+CER35 #= 2) #<==>CR4,
 
	Y1 in ER2 #<==> CER41,
	Y2 in ER2 #<==> CER42,
	Y3 in ER2 #<==> CER43,
	Y4 in ER2 #<==> CER44,
	Y5 in ER2 #<==> CER45,	
	(   CER41+CER42+CER43+CER44+CER45 #= 1) #<==>CR5,
 
	Y1 in ER3 #<==> CER51,
	Y2 in ER3 #<==> CER52,
	Y3 in ER3 #<==> CER53,
	Y4 in ER3 #<==> CER54,
	Y5 in ER3 #<==> CER55,	
	(   CER51+CER52+CER53+CER54+CER55 #= 1) #<==>CR6,
 
	% condition regroupant les 4 conditions précédentes
	(   CC3+CR4+CR5+CR6 #= 4)  #<==> C3,
 
	% condition finale
	C1 + C2 + C3 #= 1,

et
CER0_1+CER0_2+CER0_3+CER0_4+CER0_5 #<==> CERT0,

met bien la somme des CER0_i dans CERT0???

Cette ligne fait planter à l'exécution, tu ne l'as pas testée ??

[alexglvr]

si, j'ai testée...
ça plante... J'ai bidouillé même, mais rien à faire...

Comment fait on pour mettre la somme dans une variable??? #= est un test apparemment???

-Pour le code, peut on simplifier de la sorte ???:

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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
 
	%4 appartiennent pas à E1 et 1 Appartient à ER1
	Y1 in E1 #<==> CE01,
	Y2 in E1 #<==> CE02,
	Y3 in E1 #<==> CE03,
	Y4 in E1 #<==> CE04,
	Y5 in E1 #<==> CE05,	
	CE01+CE02+CE03+CE04+CE05 #= 1,
 
	Y1 in ER1 #<==> CER01,
	Y2 in ER1 #<==> CER02,
	Y3 in ER1 #<==> CER03,
	Y4 in ER1 #<==> CER04,
	Y5 in ER1 #<==> CER05,	
	CER01+CER02+CER03+CER04+CER05 #= 1,
 
	% 1 appartient pas à E1, 2 appartiennent à ER2 et 2 appartiennent à ER3
	#\ (Y1 in E1) #<==> CE11,
	#\ (Y2 in E1) #<==> CE12,
	#\ (Y3 in E1) #<==> CE13,
	#\ (Y4 in E1) #<==> CE14,
	#\ (Y5 in E1) #<==> CE15,
	CE11+CE12+CE13+CE14+CE15 #= 1,
 
	Y1 in ER2 #<==> CER11,
	Y2 in ER2 #<==> CER12,
	Y3 in ER2 #<==> CER13,
	Y4 in ER2 #<==> CER14,
	Y5 in ER2 #<==> CER15,	
	CER11+CER12+CER13+CER14+CER15 #= 2,
 
	Y1 in ER3 #<==> CER21,
	Y2 in ER3 #<==> CER22,
	Y3 in ER3 #<==> CER23,
	Y4 in ER3 #<==> CER24,
	Y5 in ER3 #<==> CER25,	
	CER21+CER22+CER23+CER24+CER25 #= 2,
 
	% 1 appartient pas à E1, 2 appartiennent à ER1, 
	% 1 appartient à ER2 et 1 appartient à ER3
	#\ (Y1 in E1) #<==> CE21,
	#\ (Y2 in E1) #<==> CE22,
	#\ (Y3 in E1) #<==> CE23,
	#\ (Y4 in E1) #<==> CE24,
	#\ (Y5 in E1) #<==> CE25,
	CE21+CE22+CE23+CE24+CE25 #= 1,
 
	Y1 in ER1 #<==> CER31,
	Y2 in ER1 #<==> CER32,
	Y3 in ER1 #<==> CER33,
	Y4 in ER1 #<==> CER34,
	Y5 in ER1 #<==> CER35,	
	CER31+CER32+CER33+CER34+CER35 #= 2,
 
	Y1 in ER2 #<==> CER41,
	Y2 in ER2 #<==> CER42,
	Y3 in ER2 #<==> CER43,
	Y4 in ER2 #<==> CER44,
	Y5 in ER2 #<==> CER45,	
	CER41+CER42+CER43+CER44+CER45 #= 1,
 
	Y1 in ER3 #<==> CER51,
	Y2 in ER3 #<==> CER52,
	Y3 in ER3 #<==> CER53,
	Y4 in ER3 #<==> CER54,
	Y5 in ER3 #<==> CER55,	
	CER51+CER52+CER53+CER54+CER55 #= 1,

C'est moins clair, mais si je ne me trompe pas, c'est la même chose...

Dans l'exemple, j'ai donné que quelques contraintes, mais je peux en avoir des centaines... Le code est d'ailleurs généré automatiquement via une fonction MATLAB...

Du coup pour limiter la taille, je pensais faire le test sur les ensembles une seul fois, et valider les conditions à la fin...

avec les erreurs ça donnerait:

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
53
54
55
 
	% Contrainte Repetition 6 to 7
	% Ensemble  ERN_6 et E 25
 
		% Contrainte Boules ext
 
		#\ Y1 in E25 #<==> CER7_0_1,
		#\ Y2 in E25 #<==> CER7_0_2,
		#\ Y3 in E25 #<==> CER7_0_3,
		#\ Y4 in E25 #<==> CER7_0_4,
		#\ Y5 in E25 #<==> CER7_0_5,
 
		Y1 in ERN6_1 #<==> CER7_1_1,
		Y2 in ERN6_1 #<==> CER7_1_2,
		Y3 in ERN6_1 #<==> CER7_1_3,
		Y4 in ERN6_1 #<==> CER7_1_4,
		Y5 in ERN6_1 #<==> CER7_1_5,
 
		Y1 in ERN6_2 #<==> CER7_2_1,
		Y2 in ERN6_2 #<==> CER7_2_2,
		Y3 in ERN6_2 #<==> CER7_2_3,
		Y4 in ERN6_2 #<==> CER7_2_4,
		Y5 in ERN6_2 #<==> CER7_2_5,
 
		Y1 in ERN6_3 #<==> CER7_3_1,
		Y2 in ERN6_3 #<==> CER7_3_2,
		Y3 in ERN6_3 #<==> CER7_3_3,
		Y4 in ERN6_3 #<==> CER7_3_4,
		Y5 in ERN6_3 #<==> CER7_3_5,
 
 
		CER7_0_1+CER7_0_2+CER7_0_3+CER7_0_4+CER7_0_5 #= CERT7_0,
		CER7_1_1+CER7_1_2+CER7_1_3+CER7_1_4+CER7_1_5 #= CERT7_1,
		CER7_2_1+CER7_2_2+CER7_2_3+CER7_2_4+CER7_2_5 #= CERT7_2,
		CER7_3_1+CER7_3_2+CER7_3_3+CER7_3_4+CER7_3_5 #= CERT7_3,
 
 
		((CERT7_0#=4 , CERT7_1#=1 , CERT7_2#=0 , CERT7_3#=0);
		(CERT7_0#=4 , CERT7_1#=0 , CERT7_2#=1 , CERT7_3#=0);
		(CERT7_0#=4 , CERT7_1#=0 , CERT7_2#=0 , CERT7_3#=1);
		(CERT7_0#=3 , CERT7_1#=2 , CERT7_2#=0 , CERT7_3#=0);
		(CERT7_0#=3 , CERT7_1#=1 , CERT7_2#=1 , CERT7_3#=0);
		(CERT7_0#=3 , CERT7_1#=0 , CERT7_2#=2 , CERT7_3#=0);
		(CERT7_0#=3 , CERT7_1#=1 , CERT7_2#=0 , CERT7_3#=1);
		(CERT7_0#=3 , CERT7_1#=0 , CERT7_2#=1 , CERT7_3#=1);
		(CERT7_0#=3 , CERT7_1#=0 , CERT7_2#=0 , CERT7_3#=2);
		(CERT7_0#=2 , CERT7_1#=3 , CERT7_2#=0 , CERT7_3#=0);
		(CERT7_0#=2 , CERT7_1#=2 , CERT7_2#=1 , CERT7_3#=0);
		(CERT7_0#=2 , CERT7_1#=1 , CERT7_2#=2 , CERT7_3#=0);
		(CERT7_0#=2 , CERT7_1#=0 , CERT7_2#=3 , CERT7_3#=0);
		(CERT7_0#=2 , CERT7_1#=2 , CERT7_2#=0 , CERT7_3#=1);
		(CERT7_0#=2 , CERT7_1#=1 , CERT7_2#=1 , CERT7_3#=1);
		(CERT7_0#=2 , CERT7_1#=0 , CERT7_2#=2 , CERT7_3#=1);
		(CERT7_0#=2 , CERT7_1#=1 , CERT7_2#=0 , CERT7_3#=2);
		(CERT7_0#=2 , CERT7_1#=0 , CERT7_2#=1 , CERT7_3#=2)),

Je te rassure, ça marche pas....

A bientôt,

Alex

[alexglvr]

Bon apparemment j'ai trouvé...

Erreur stupide de ma part....
C'est toujours Var#=...

Voila le code complet pour validation :

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
:- use_module(library(clpfd)).
tuple_possible3(Vars) :-
 
		 % je définis les différents ensembles
		 E0 = 1..15,
		 E30 = 1..5,
		 ERN1_1 = 1..5,
 
		Vars = [Y1,Y2,Y3,Y4,Y5],
		Vars ins E0,
 
	% Elles sont toutes différentes,
		Y1 #< Y2, Y2 #< Y3, Y3 #< Y4, Y4 #< Y5,
 
	% Contrainte Repetition 1 to 2
	% Ensemble  ERN_1 et E 30
 
		#\ Y1 in E30 #<==> CER2_0_1,
		#\ Y2 in E30 #<==> CER2_0_2,
		#\ Y3 in E30 #<==> CER2_0_3,
		#\ Y4 in E30 #<==> CER2_0_4,
		#\ Y5 in E30 #<==> CER2_0_5,
 
		Y1 in ERN1_1 #<==> CER2_1_1,
		Y2 in ERN1_1 #<==> CER2_1_2,
		Y3 in ERN1_1 #<==> CER2_1_3,
		Y4 in ERN1_1 #<==> CER2_1_4,
		Y5 in ERN1_1 #<==> CER2_1_5,
 
 
		CERT2_0 #= CER2_0_1+CER2_0_2+CER2_0_3+CER2_0_4+CER2_0_5,
		CERT2_1 #= CER2_1_1+CER2_1_2+CER2_1_3+CER2_1_4+CER2_1_5,
 
		((CERT2_0#=5 , CERT2_1#=0);
		(CERT2_0#=4 , CERT2_1#=1)),
 
 
		label(Vars).
 
test :-
		setof(Vars3, tuple_possible3(Vars3), L3),
		length(L3, N3),
		writeln(N3),
		tell('F:\resultats_num.txt'),
		maplist(writeln, L3),
		told.

le résultat obtenu est celui escompté par le calcul...

Alex

[alexglvr]

je viens de faire le test avec plus de contraintes...

Si je mets tout j'ai une erreur segv...

Si je restreins le nombre de contrainte, ça tourne, mais ça prends des heures....
Je suis même pas sur que ça arrive au bout, j'ai coupé le processus

Je vais essayer ton code pour voir si c'est plus rapide....

Alex

[alexglvr]

idem... plus de 2 heure de calcul à 100% cpu et toujours pas fini...

c'est normal??? Peut être y a t il une erreur??? Et que 7 niveaux d'analyse sur 30 pour le moment...

voila mon code :

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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
:- use_module(library(clpfd)).
tuple_possible3(Vars) :-
 
		 % je définis les différents ensembles
		 E0 = 1..50,
 
		 E25 = 5\/7..11\/13..14\/16\/19..20\/22\/26..27\/29\/36..37\/44..45\/48\/50,
		 E26 = 5\/7..11\/13..14\/16\/19..20\/22\/26..27\/29\/36..37\/44..45\/48\/50,
		 E27 = 5\/7\/9..11\/13..14\/16\/19..20\/22\/26..27\/29\/37\/44\/48\/50,
		 E28 = 7\/9..11\/13..14\/16\/19\/22\/27\/29\/37\/44\/48,
		 E29 = 9..11\/13..14\/16\/19\/29\/37\/44,
		 E30 = 10\/14\/16\/29\/44,
		 ERN1_1 = 10\/14\/16\/29\/44,
		 ERN2_1 = 9..11\/13..14\/16\/19\/29\/37\/44,
		 ERN3_1 = 7\/9..11\/13..14\/16\/22\/27\/29\/37\/44\/48,
		 ERN3_2 = 19,
		 ERN4_1 = 5\/7\/9..11\/13..14\/16\/20\/22\/26..27\/29\/37\/48\/50,
		 ERN4_2 = 19\/44,
		 ERN5_1 = 5\/7..10\/13..14\/16\/20\/22\/26..27\/29\/36\/45\/48\/50,
		 ERN5_2 = 11\/19\/37\/44,
		 ERN6_1 = 5\/7..10\/14\/20\/22\/26..27\/29\/36\/45\/48,
		 ERN6_2 = 11\/13\/16\/19\/50,
		 ERN6_3 = 37\/44,
		 ERN7_1 = 5\/8..10\/14\/20..22\/26..27\/29\/36\/40\/45\/48,
		 ERN7_2 = 7\/11\/13\/16,
		 ERN7_3 = 19\/37\/44\/50,
 
 
		D1 = 1..10,
		D2 = 11..20,
		D3 = 21..30,
		D4 = 31..40,
		D5 = 41..50,
 
		Vars = [Y1,Y2,Y3,Y4,Y5],
		Vars ins E0,
 
	% Elles sont toutes différentes,
		Y1 #< Y2, Y2 #< Y3, Y3 #< Y4, Y4 #< Y5,
 
	% au maximum 2 consecutifs
 
		(Y2 - Y1 #= 1)#<==> C0_1,
		(Y3 - Y2 #= 1)#<==> C0_2,
		(Y4 - Y3 #= 1)#<==> C0_3,
		(Y5 - Y4 #= 1)#<==> C0_4,
		C0_1+C0_2+C0_3+C0_4 #=< 1,
 
	% repartition dixaine
 
		Y1 in D1 #<==> CD1_1,
		Y2 in D1 #<==> CD1_2,
		Y3 in D1 #<==> CD1_3,
		Y4 in D1 #<==> CD1_4,
		Y5 in D1 #<==> CD1_5,
 
		CD1_1+CD1_2+CD1_3+CD1_4+CD1_5 #>= 1 #<==> D1_1,
 
		Y1 in D2 #<==> CD2_1,
		Y2 in D2 #<==> CD2_2,
		Y3 in D2 #<==> CD2_3,
		Y4 in D2 #<==> CD2_4,
		Y5 in D2 #<==> CD2_5,
 
		CD2_1+CD2_2+CD2_3+CD2_4+CD2_5 #>= 1 #<==> D2_1,
 
		Y1 in D3 #<==> CD3_1,
		Y2 in D3 #<==> CD3_2,
		Y3 in D3 #<==> CD3_3,
		Y4 in D3 #<==> CD3_4,
		Y5 in D3 #<==> CD3_5,
 
		CD3_1+CD3_2+CD3_3+CD3_4+CD3_5 #>= 1 #<==> D3_1,
 
		Y1 in D4 #<==> CD4_1,
		Y2 in D4 #<==> CD4_2,
		Y3 in D4 #<==> CD4_3,
		Y4 in D4 #<==> CD4_4,
		Y5 in D4 #<==> CD4_5,
 
		CD4_1+CD4_2+CD4_3+CD4_4+CD4_5 #>= 1 #<==> D4_1,
 
		Y1 in D5 #<==> CD5_1,
		Y2 in D5 #<==> CD5_2,
		Y3 in D5 #<==> CD5_3,
		Y4 in D5 #<==> CD5_4,
		Y5 in D5 #<==> CD5_5,
 
		CD5_1+CD5_2+CD5_3+CD5_4+CD5_5 #>= 1 #<==> D5_1,
 
		D1_1+D2_1+D3_1+D4_1+D5_1 #>=3, D1_1+D2_1+D3_1+D4_1+D5_1 #=<4,
 
	% Contrainte Repetition 1 to 2
	% Ensemble  ERN_1 et E 30
 
		#\ Y1 in E30 #<==> CER2_0_1,
		#\ Y2 in E30 #<==> CER2_0_2,
		#\ Y3 in E30 #<==> CER2_0_3,
		#\ Y4 in E30 #<==> CER2_0_4,
		#\ Y5 in E30 #<==> CER2_0_5,
 
		(CER2_0_1+CER2_0_2+CER2_0_3+CER2_0_4+CER2_0_5 #= 4) #<==> CERT2_0_4,
		(CER2_0_1+CER2_0_2+CER2_0_3+CER2_0_4+CER2_0_5 #= 5) #<==> CERT2_0_5,
 
		Y1 in ERN1_1 #<==> CER2_1_1,
		Y2 in ERN1_1 #<==> CER2_1_2,
		Y3 in ERN1_1 #<==> CER2_1_3,
		Y4 in ERN1_1 #<==> CER2_1_4,
		Y5 in ERN1_1 #<==> CER2_1_5,
 
		(CER2_1_1+CER2_1_2+CER2_1_3+CER2_1_4+CER2_1_5 #= 0) #<==> CERT2_1_0,
		(CER2_1_1+CER2_1_2+CER2_1_3+CER2_1_4+CER2_1_5 #= 1) #<==> CERT2_1_1,
 
 
 
		(CERT2_0_5+CERT2_1_0 #= 2) #<==> TCERT2_1,
		(CERT2_0_4+CERT2_1_1 #= 2) #<==> TCERT2_2,
 
		TCERT2_1+TCERT2_2 #= 1,
 
 
	% Contrainte Repetition 2 to 3
	% Ensemble  ERN_2 et E 29
 
 
		#\ Y1 in E29 #<==> CER3_0_1,
		#\ Y2 in E29 #<==> CER3_0_2,
		#\ Y3 in E29 #<==> CER3_0_3,
		#\ Y4 in E29 #<==> CER3_0_4,
		#\ Y5 in E29 #<==> CER3_0_5,
 
		(CER3_0_1+CER3_0_2+CER3_0_3+CER3_0_4+CER3_0_5 #= 2) #<==> CERT3_0_2,
		(CER3_0_1+CER3_0_2+CER3_0_3+CER3_0_4+CER3_0_5 #= 3) #<==> CERT3_0_3,
		(CER3_0_1+CER3_0_2+CER3_0_3+CER3_0_4+CER3_0_5 #= 4) #<==> CERT3_0_4,
		(CER3_0_1+CER3_0_2+CER3_0_3+CER3_0_4+CER3_0_5 #= 5) #<==> CERT3_0_5,
 
		Y1 in ERN2_1 #<==> CER3_1_1,
		Y2 in ERN2_1 #<==> CER3_1_2,
		Y3 in ERN2_1 #<==> CER3_1_3,
		Y4 in ERN2_1 #<==> CER3_1_4,
		Y5 in ERN2_1 #<==> CER3_1_5,
 
		(CER3_1_1+CER3_1_2+CER3_1_3+CER3_1_4+CER3_1_5 #= 0) #<==> CERT3_1_0,
		(CER3_1_1+CER3_1_2+CER3_1_3+CER3_1_4+CER3_1_5 #= 1) #<==> CERT3_1_1,
		(CER3_1_1+CER3_1_2+CER3_1_3+CER3_1_4+CER3_1_5 #= 2) #<==> CERT3_1_2,
		(CER3_1_1+CER3_1_2+CER3_1_3+CER3_1_4+CER3_1_5 #= 3) #<==> CERT3_1_3,
 
 
 
		(CERT3_0_5+CERT3_1_0 #= 2) #<==> TCERT3_1,
		(CERT3_0_4+CERT3_1_1 #= 2) #<==> TCERT3_2,
		(CERT3_0_3+CERT3_1_2 #= 2) #<==> TCERT3_3,
		(CERT3_0_2+CERT3_1_3 #= 2) #<==> TCERT3_4,
 
		TCERT3_1+TCERT3_2+TCERT3_3+TCERT3_4 #= 1,
 
 
	% Contrainte Repetition 3 to 4
	% Ensemble  ERN_3 et E 28
 
		#\ Y1 in E28 #<==> CER4_0_1,
		#\ Y2 in E28 #<==> CER4_0_2,
		#\ Y3 in E28 #<==> CER4_0_3,
		#\ Y4 in E28 #<==> CER4_0_4,
		#\ Y5 in E28 #<==> CER4_0_5,
 
		(CER4_0_1+CER4_0_2+CER4_0_3+CER4_0_4+CER4_0_5 #= 2) #<==> CERT4_0_2,
		(CER4_0_1+CER4_0_2+CER4_0_3+CER4_0_4+CER4_0_5 #= 3) #<==> CERT4_0_3,
		(CER4_0_1+CER4_0_2+CER4_0_3+CER4_0_4+CER4_0_5 #= 4) #<==> CERT4_0_4,
		(CER4_0_1+CER4_0_2+CER4_0_3+CER4_0_4+CER4_0_5 #= 5) #<==> CERT4_0_5,
 
		Y1 in ERN3_1 #<==> CER4_1_1,
		Y2 in ERN3_1 #<==> CER4_1_2,
		Y3 in ERN3_1 #<==> CER4_1_3,
		Y4 in ERN3_1 #<==> CER4_1_4,
		Y5 in ERN3_1 #<==> CER4_1_5,
 
		(CER4_1_1+CER4_1_2+CER4_1_3+CER4_1_4+CER4_1_5 #= 0) #<==> CERT4_1_0,
		(CER4_1_1+CER4_1_2+CER4_1_3+CER4_1_4+CER4_1_5 #= 1) #<==> CERT4_1_1,
		(CER4_1_1+CER4_1_2+CER4_1_3+CER4_1_4+CER4_1_5 #= 2) #<==> CERT4_1_2,
		(CER4_1_1+CER4_1_2+CER4_1_3+CER4_1_4+CER4_1_5 #= 3) #<==> CERT4_1_3,
 
		Y1 in ERN3_2 #<==> CER4_2_1,
		Y2 in ERN3_2 #<==> CER4_2_2,
		Y3 in ERN3_2 #<==> CER4_2_3,
		Y4 in ERN3_2 #<==> CER4_2_4,
		Y5 in ERN3_2 #<==> CER4_2_5,
 
		(CER4_2_1+CER4_2_2+CER4_2_3+CER4_2_4+CER4_2_5 #= 0) #<==> CERT4_2_0,
		(CER4_2_1+CER4_2_2+CER4_2_3+CER4_2_4+CER4_2_5 #= 1) #<==> CERT4_2_1,
 
 
 
		(CERT4_0_5+CERT4_1_0+CERT4_2_0 #= 3) #<==> TCERT4_1,
		(CERT4_0_4+CERT4_1_1+CERT4_2_0 #= 3) #<==> TCERT4_2,
		(CERT4_0_4+CERT4_1_0+CERT4_2_1 #= 3) #<==> TCERT4_3,
		(CERT4_0_3+CERT4_1_2+CERT4_2_0 #= 3) #<==> TCERT4_4,
		(CERT4_0_3+CERT4_1_1+CERT4_2_1 #= 3) #<==> TCERT4_5,
		(CERT4_0_2+CERT4_1_3+CERT4_2_0 #= 3) #<==> TCERT4_6,
		(CERT4_0_2+CERT4_1_2+CERT4_2_1 #= 3) #<==> TCERT4_7,
 
		TCERT4_1+TCERT4_2+TCERT4_3+TCERT4_4+TCERT4_5+TCERT4_6+TCERT4_7 #= 1,
 
 
	% Contrainte Repetition 4 to 5
	% Ensemble  ERN_4 et E 27
 
 
		#\ Y1 in E27 #<==> CER5_0_1,
		#\ Y2 in E27 #<==> CER5_0_2,
		#\ Y3 in E27 #<==> CER5_0_3,
		#\ Y4 in E27 #<==> CER5_0_4,
		#\ Y5 in E27 #<==> CER5_0_5,
 
		(CER5_0_1+CER5_0_2+CER5_0_3+CER5_0_4+CER5_0_5 #= 1) #<==> CERT5_0_1,
		(CER5_0_1+CER5_0_2+CER5_0_3+CER5_0_4+CER5_0_5 #= 2) #<==> CERT5_0_2,
		(CER5_0_1+CER5_0_2+CER5_0_3+CER5_0_4+CER5_0_5 #= 3) #<==> CERT5_0_3,
		(CER5_0_1+CER5_0_2+CER5_0_3+CER5_0_4+CER5_0_5 #= 4) #<==> CERT5_0_4,
		(CER5_0_1+CER5_0_2+CER5_0_3+CER5_0_4+CER5_0_5 #= 5) #<==> CERT5_0_5,
 
		Y1 in ERN4_1 #<==> CER5_1_1,
		Y2 in ERN4_1 #<==> CER5_1_2,
		Y3 in ERN4_1 #<==> CER5_1_3,
		Y4 in ERN4_1 #<==> CER5_1_4,
		Y5 in ERN4_1 #<==> CER5_1_5,
 
		(CER5_1_1+CER5_1_2+CER5_1_3+CER5_1_4+CER5_1_5 #= 0) #<==> CERT5_1_0,
		(CER5_1_1+CER5_1_2+CER5_1_3+CER5_1_4+CER5_1_5 #= 1) #<==> CERT5_1_1,
		(CER5_1_1+CER5_1_2+CER5_1_3+CER5_1_4+CER5_1_5 #= 2) #<==> CERT5_1_2,
		(CER5_1_1+CER5_1_2+CER5_1_3+CER5_1_4+CER5_1_5 #= 3) #<==> CERT5_1_3,
		(CER5_1_1+CER5_1_2+CER5_1_3+CER5_1_4+CER5_1_5 #= 4) #<==> CERT5_1_4,
 
		Y1 in ERN4_2 #<==> CER5_2_1,
		Y2 in ERN4_2 #<==> CER5_2_2,
		Y3 in ERN4_2 #<==> CER5_2_3,
		Y4 in ERN4_2 #<==> CER5_2_4,
		Y5 in ERN4_2 #<==> CER5_2_5,
 
		(CER5_2_1+CER5_2_2+CER5_2_3+CER5_2_4+CER5_2_5 #= 0) #<==> CERT5_2_0,
		(CER5_2_1+CER5_2_2+CER5_2_3+CER5_2_4+CER5_2_5 #= 1) #<==> CERT5_2_1,
		(CER5_2_1+CER5_2_2+CER5_2_3+CER5_2_4+CER5_2_5 #= 2) #<==> CERT5_2_2,
 
 
 
		(CERT5_0_5+CERT5_1_0+CERT5_2_0 #= 3) #<==> TCERT5_1,
		(CERT5_0_4+CERT5_1_1+CERT5_2_0 #= 3) #<==> TCERT5_2,
		(CERT5_0_4+CERT5_1_0+CERT5_2_1 #= 3) #<==> TCERT5_3,
		(CERT5_0_3+CERT5_1_2+CERT5_2_0 #= 3) #<==> TCERT5_4,
		(CERT5_0_3+CERT5_1_1+CERT5_2_1 #= 3) #<==> TCERT5_5,
		(CERT5_0_3+CERT5_1_0+CERT5_2_2 #= 3) #<==> TCERT5_6,
		(CERT5_0_2+CERT5_1_3+CERT5_2_0 #= 3) #<==> TCERT5_7,
		(CERT5_0_2+CERT5_1_2+CERT5_2_1 #= 3) #<==> TCERT5_8,
		(CERT5_0_2+CERT5_1_1+CERT5_2_2 #= 3) #<==> TCERT5_9,
		(CERT5_0_1+CERT5_1_4+CERT5_2_0 #= 3) #<==> TCERT5_10,
		(CERT5_0_1+CERT5_1_3+CERT5_2_1 #= 3) #<==> TCERT5_11,
		(CERT5_0_1+CERT5_1_2+CERT5_2_2 #= 3) #<==> TCERT5_12,
 
		TCERT5_1+TCERT5_2+TCERT5_3+TCERT5_4+TCERT5_5+TCERT5_6+TCERT5_7+TCERT5_8+TCERT5_9+TCERT5_10+TCERT5_11+TCERT5_12 #= 1,
 
 
	% Contrainte Repetition 5 to 6
	% Ensemble  ERN_5 et E 26
 
		#\ Y1 in E26 #<==> CER6_0_1,
		#\ Y2 in E26 #<==> CER6_0_2,
		#\ Y3 in E26 #<==> CER6_0_3,
		#\ Y4 in E26 #<==> CER6_0_4,
		#\ Y5 in E26 #<==> CER6_0_5,
 
		(CER6_0_1+CER6_0_2+CER6_0_3+CER6_0_4+CER6_0_5 #= 0) #<==> CERT6_0_0,
		(CER6_0_1+CER6_0_2+CER6_0_3+CER6_0_4+CER6_0_5 #= 1) #<==> CERT6_0_1,
		(CER6_0_1+CER6_0_2+CER6_0_3+CER6_0_4+CER6_0_5 #= 2) #<==> CERT6_0_2,
 
		Y1 in ERN5_1 #<==> CER6_1_1,
		Y2 in ERN5_1 #<==> CER6_1_2,
		Y3 in ERN5_1 #<==> CER6_1_3,
		Y4 in ERN5_1 #<==> CER6_1_4,
		Y5 in ERN5_1 #<==> CER6_1_5,
 
		(CER6_1_1+CER6_1_2+CER6_1_3+CER6_1_4+CER6_1_5 #= 0) #<==> CERT6_1_0,
		(CER6_1_1+CER6_1_2+CER6_1_3+CER6_1_4+CER6_1_5 #= 1) #<==> CERT6_1_1,
		(CER6_1_1+CER6_1_2+CER6_1_3+CER6_1_4+CER6_1_5 #= 2) #<==> CERT6_1_2,
		(CER6_1_1+CER6_1_2+CER6_1_3+CER6_1_4+CER6_1_5 #= 3) #<==> CERT6_1_3,
		(CER6_1_1+CER6_1_2+CER6_1_3+CER6_1_4+CER6_1_5 #= 4) #<==> CERT6_1_4,
		(CER6_1_1+CER6_1_2+CER6_1_3+CER6_1_4+CER6_1_5 #= 5) #<==> CERT6_1_5,
 
		Y1 in ERN5_2 #<==> CER6_2_1,
		Y2 in ERN5_2 #<==> CER6_2_2,
		Y3 in ERN5_2 #<==> CER6_2_3,
		Y4 in ERN5_2 #<==> CER6_2_4,
		Y5 in ERN5_2 #<==> CER6_2_5,
 
		(CER6_2_1+CER6_2_2+CER6_2_3+CER6_2_4+CER6_2_5 #= 0) #<==> CERT6_2_0,
		(CER6_2_1+CER6_2_2+CER6_2_3+CER6_2_4+CER6_2_5 #= 1) #<==> CERT6_2_1,
		(CER6_2_1+CER6_2_2+CER6_2_3+CER6_2_4+CER6_2_5 #= 2) #<==> CERT6_2_2,
		(CER6_2_1+CER6_2_2+CER6_2_3+CER6_2_4+CER6_2_5 #= 3) #<==> CERT6_2_3,
		(CER6_2_1+CER6_2_2+CER6_2_3+CER6_2_4+CER6_2_5 #= 4) #<==> CERT6_2_4,
 
 
 
		(CERT6_0_2+CERT6_1_3+CERT6_2_0 #= 3) #<==> TCERT6_1,
		(CERT6_0_2+CERT6_1_2+CERT6_2_1 #= 3) #<==> TCERT6_2,
		(CERT6_0_2+CERT6_1_1+CERT6_2_2 #= 3) #<==> TCERT6_3,
		(CERT6_0_2+CERT6_1_0+CERT6_2_3 #= 3) #<==> TCERT6_4,
		(CERT6_0_1+CERT6_1_4+CERT6_2_0 #= 3) #<==> TCERT6_5,
		(CERT6_0_1+CERT6_1_3+CERT6_2_1 #= 3) #<==> TCERT6_6,
		(CERT6_0_1+CERT6_1_2+CERT6_2_2 #= 3) #<==> TCERT6_7,
		(CERT6_0_1+CERT6_1_1+CERT6_2_3 #= 3) #<==> TCERT6_8,
		(CERT6_0_1+CERT6_1_0+CERT6_2_4 #= 3) #<==> TCERT6_9,
		(CERT6_0_0+CERT6_1_5+CERT6_2_0 #= 3) #<==> TCERT6_10,
		(CERT6_0_0+CERT6_1_4+CERT6_2_1 #= 3) #<==> TCERT6_11,
		(CERT6_0_0+CERT6_1_3+CERT6_2_2 #= 3) #<==> TCERT6_12,
		(CERT6_0_0+CERT6_1_2+CERT6_2_3 #= 3) #<==> TCERT6_13,
		(CERT6_0_0+CERT6_1_1+CERT6_2_4 #= 3) #<==> TCERT6_14,
 
		TCERT6_1+TCERT6_2+TCERT6_3+TCERT6_4+TCERT6_5+TCERT6_6+TCERT6_7+TCERT6_8+TCERT6_9+TCERT6_10+TCERT6_11+TCERT6_12+TCERT6_13+TCERT6_14 #= 1,
 
 
	% Contrainte Repetition 6 to 7
	% Ensemble  ERN_6 et E 25
 
 
		#\ Y1 in E25 #<==> CER7_0_1,
		#\ Y2 in E25 #<==> CER7_0_2,
		#\ Y3 in E25 #<==> CER7_0_3,
		#\ Y4 in E25 #<==> CER7_0_4,
		#\ Y5 in E25 #<==> CER7_0_5,
 
		(CER7_0_1+CER7_0_2+CER7_0_3+CER7_0_4+CER7_0_5 #= 2) #<==> CERT7_0_2,
		(CER7_0_1+CER7_0_2+CER7_0_3+CER7_0_4+CER7_0_5 #= 3) #<==> CERT7_0_3,
		(CER7_0_1+CER7_0_2+CER7_0_3+CER7_0_4+CER7_0_5 #= 4) #<==> CERT7_0_4,
 
		Y1 in ERN6_1 #<==> CER7_1_1,
		Y2 in ERN6_1 #<==> CER7_1_2,
		Y3 in ERN6_1 #<==> CER7_1_3,
		Y4 in ERN6_1 #<==> CER7_1_4,
		Y5 in ERN6_1 #<==> CER7_1_5,
 
		(CER7_1_1+CER7_1_2+CER7_1_3+CER7_1_4+CER7_1_5 #= 0) #<==> CERT7_1_0,
		(CER7_1_1+CER7_1_2+CER7_1_3+CER7_1_4+CER7_1_5 #= 1) #<==> CERT7_1_1,
		(CER7_1_1+CER7_1_2+CER7_1_3+CER7_1_4+CER7_1_5 #= 2) #<==> CERT7_1_2,
		(CER7_1_1+CER7_1_2+CER7_1_3+CER7_1_4+CER7_1_5 #= 3) #<==> CERT7_1_3,
 
		Y1 in ERN6_2 #<==> CER7_2_1,
		Y2 in ERN6_2 #<==> CER7_2_2,
		Y3 in ERN6_2 #<==> CER7_2_3,
		Y4 in ERN6_2 #<==> CER7_2_4,
		Y5 in ERN6_2 #<==> CER7_2_5,
 
		(CER7_2_1+CER7_2_2+CER7_2_3+CER7_2_4+CER7_2_5 #= 0) #<==> CERT7_2_0,
		(CER7_2_1+CER7_2_2+CER7_2_3+CER7_2_4+CER7_2_5 #= 1) #<==> CERT7_2_1,
		(CER7_2_1+CER7_2_2+CER7_2_3+CER7_2_4+CER7_2_5 #= 2) #<==> CERT7_2_2,
		(CER7_2_1+CER7_2_2+CER7_2_3+CER7_2_4+CER7_2_5 #= 3) #<==> CERT7_2_3,
 
		Y1 in ERN6_3 #<==> CER7_3_1,
		Y2 in ERN6_3 #<==> CER7_3_2,
		Y3 in ERN6_3 #<==> CER7_3_3,
		Y4 in ERN6_3 #<==> CER7_3_4,
		Y5 in ERN6_3 #<==> CER7_3_5,
 
		(CER7_3_1+CER7_3_2+CER7_3_3+CER7_3_4+CER7_3_5 #= 0) #<==> CERT7_3_0,
		(CER7_3_1+CER7_3_2+CER7_3_3+CER7_3_4+CER7_3_5 #= 1) #<==> CERT7_3_1,
		(CER7_3_1+CER7_3_2+CER7_3_3+CER7_3_4+CER7_3_5 #= 2) #<==> CERT7_3_2,
 
 
 
		(CERT7_0_4+CERT7_1_1+CERT7_2_0+CERT7_3_0 #= 4) #<==> TCERT7_1,
		(CERT7_0_4+CERT7_1_0+CERT7_2_1+CERT7_3_0 #= 4) #<==> TCERT7_2,
		(CERT7_0_4+CERT7_1_0+CERT7_2_0+CERT7_3_1 #= 4) #<==> TCERT7_3,
		(CERT7_0_3+CERT7_1_2+CERT7_2_0+CERT7_3_0 #= 4) #<==> TCERT7_4,
		(CERT7_0_3+CERT7_1_1+CERT7_2_1+CERT7_3_0 #= 4) #<==> TCERT7_5,
		(CERT7_0_3+CERT7_1_0+CERT7_2_2+CERT7_3_0 #= 4) #<==> TCERT7_6,
		(CERT7_0_3+CERT7_1_1+CERT7_2_0+CERT7_3_1 #= 4) #<==> TCERT7_7,
		(CERT7_0_3+CERT7_1_0+CERT7_2_1+CERT7_3_1 #= 4) #<==> TCERT7_8,
		(CERT7_0_3+CERT7_1_0+CERT7_2_0+CERT7_3_2 #= 4) #<==> TCERT7_9,
		(CERT7_0_2+CERT7_1_3+CERT7_2_0+CERT7_3_0 #= 4) #<==> TCERT7_10,
		(CERT7_0_2+CERT7_1_2+CERT7_2_1+CERT7_3_0 #= 4) #<==> TCERT7_11,
		(CERT7_0_2+CERT7_1_1+CERT7_2_2+CERT7_3_0 #= 4) #<==> TCERT7_12,
		(CERT7_0_2+CERT7_1_0+CERT7_2_3+CERT7_3_0 #= 4) #<==> TCERT7_13,
		(CERT7_0_2+CERT7_1_2+CERT7_2_0+CERT7_3_1 #= 4) #<==> TCERT7_14,
		(CERT7_0_2+CERT7_1_1+CERT7_2_1+CERT7_3_1 #= 4) #<==> TCERT7_15,
		(CERT7_0_2+CERT7_1_0+CERT7_2_2+CERT7_3_1 #= 4) #<==> TCERT7_16,
		(CERT7_0_2+CERT7_1_1+CERT7_2_0+CERT7_3_2 #= 4) #<==> TCERT7_17,
		(CERT7_0_2+CERT7_1_0+CERT7_2_1+CERT7_3_2 #= 4) #<==> TCERT7_18,
 
		TCERT7_1+TCERT7_2+TCERT7_3+TCERT7_4+TCERT7_5+TCERT7_6+TCERT7_7+TCERT7_8+TCERT7_9+TCERT7_10+TCERT7_11+TCERT7_12+TCERT7_13+TCERT7_14+TCERT7_15+TCERT7_16+TCERT7_17+TCERT7_18 #= 1,
 
 
 
 
		label(Vars).
 
test :-
		setof(Vars3, tuple_possible3(Vars3), L3),
		length(L3, N3),
		writeln(N3),
		tell('F:/resultats_num.txt'),
		maplist(writeln, L3),
		told.