11 ?- time(sudokuExemple(Vars, [])).
===================
|8,7,4|6,5,1|2,3,9|
|2,3,9|8,4,7|1,6,5|
|1,6,5|3,9,2|8,4,7|
===================
|6,5,7|1,2,4|9,8,3|
|9,4,2|5,3,8|7,1,6|
|3,1,8|7,6,9|5,2,4|
===================
|5,2,1|4,7,3|6,9,8|
|7,8,3|9,1,6|4,5,2|
|4,9,6|2,8,5|3,7,1|
===================
|
% 1,107,581 inferences, 0.406 CPU in 0.439 seconds (93% CPU, 2726353 Lips)
Vars = [8, 7, 4, 6, 5, 1, 2, 3, 9|...].
12 ?- time(sudokuExemple(Vars, [ff])).
===================
|8,7,4|6,5,1|2,3,9|
|2,3,9|8,4,7|1,6,5|
|1,6,5|3,9,2|8,4,7|
===================
|6,5,7|1,2,4|9,8,3|
|9,4,2|5,3,8|7,1,6|
|3,1,8|7,6,9|5,2,4|
===================
|5,2,1|4,7,3|6,9,8|
|7,8,3|9,1,6|4,5,2|
|4,9,6|2,8,5|3,7,1|
===================
|
% 326,751 inferences, 0.125 CPU in 0.154 seconds (81% CPU, 2614008 Lips)
Vars = [8, 7, 4, 6, 5, 1, 2, 3, 9|...].
Partager