Re: sudoku


"student" <no-spam@xxxxxxxxx> wrote in message
news:0WCze.3573$p%3.21681@xxxxxxxxxxxxxxxxxxxx
>> If you have installed B-Prolog (bprolog.com), you can find several
>> problem
>> instances in the directory examples/clpfd. The hardest instance, called
>> sudoku378.pl, can be solved with B-Prolog in 0.2 second.
>>
> Would you perhaps care to say a few words about
> what makes your system so fast?

I noticed that the new version 6.7 #4 is several times faster than the
version I tested before for this program. Version 6.7 #4 has several new
optimizations introduced, including one for finding hall sets.

--Neng-Fa


B-Prolog Version 6.7 #4, All rights reserved, (C) Afany Software 1994-2005.

| ?- cl(sudoku368)

Compiling...sudoku368.pl
** warning ** Singleton variables:(sudoku368.pl,16-16)::Vars
** warning ** Singleton variables:(sudoku368.pl,281-282)::A,I,J
** warning ** Singleton variables:(sudoku368.pl,312-313)::X,Int
** warning ** Singleton variables:(sudoku368.pl,322-323)::X,L
** Error ** Predefined predicate is redefined:(sudoku368.pl,330)::reverse/2
compiled in 120 milliseconds
1 errors
loading....sudoku368.out

yes
| ?- go

215DH0LN9A4C7IOJ36GFEMK8B
I7C4OKB8EMG3J6FL9N0A5HD21
NL90A47ICOKEB8M152DH3FG6J
6J3GFD125H09LNABE8KMCO4I7
8BEKMGJ63FD512H7CI4O9A0NL
ANL90CIO74EB8MK21H5DJG3F6
M8BEK36FJG512HDI7OC4L09AN
F6J3G52H1D9LNA08BMEK74COI
H215D9NAL0C7IO46JF3GBKEM8
OI7C4E8MBK3J6FGNLA901D5H2
J3GF6H51D2A09LNEKBM84IO7C
7C4OIMEBK8FG3J690LAND2H15
15DH2A9L0NO4C7I3GJF6K8MBE
L90ANOC74IMKEB85D1H2G6FJ3
BEKM8F3JG6HD512C47OI0NAL9
GF6J31HD25LNA09M8KBEIC74O
KM8BEJFG6312HD5OI47CN9L0A
0ANL97O4ICB8MKEH2D1563JGF
DH215LA0N97IO4CF6GJ38EBKM
4OI7CBMK8EJ6FG3AN0L9251DH
EKM8B6G3FJ2HD514OCI7ALN90
3GF6J2D5H1NA09LKME8BO7IC4
90ANLI4CO78MKEBDH521FJ63G
5DH21N09ALIO4C7GF36JMB8EK
C4OI78KEMB6FG3J0A9NLH125D
60 milliseconds
yes
| ?- cl(sudoku378)

Compiling...sudoku378.pl
** warning ** Singleton variables:(sudoku378.pl,57-57)::Vars
** warning ** Singleton variables:(sudoku378.pl,323-324)::A,I,J
** warning ** Singleton variables:(sudoku378.pl,354-355)::X,Int
** warning ** Singleton variables:(sudoku378.pl,364-365)::X,L
** Error ** Predefined predicate is redefined:(sudoku378.pl,372)::reverse/2
compiled in 120 milliseconds
1 errors
loading....sudoku378.out

yes
| ?- go

EFB8MI7G9ONJ0DC5K4L32A61H
A21H68FEBM7IOG9JDN0C4KL35
K435LH2A16F8MEBIG7O9ND0CJ
G79IOJNDC045LK3HA261FEMB8
DNCJ054K3L2H6A18EFMB7GO9I
NJD0CL54K3H612AMF8BEI79GO
7IGO90JNDC5L34K62H1A8FBEM
F8EMBOI7G9J0CNDL453KH21A6
45KL36H2A18MBFEO7I9GJNCD0
2HA61M8FEBIO97G0NJCD543KL
8MFBE9OI7G0CDJN35LK46HA21
H621ABM8FEO9GI7CJ0DNL5K43
J0NCD3L54K61AH2B8MEFOIG79
IO79GC0JNDL3K541H6A2M8EFB
5L43K16H2AMBE8F9IOG70JDNC
MB8EFG9OI7CDN0JKL345162HA
O9IG7DC0JN3K4L5A612HBMF8E
0CJDNK3L541A26HEMBF89O7IG
L35K4A16H2BEFM8GO97IC0NJD
61HA2EBM8F9G7OID0CNJ3L45K
1A62HFEBM8G7I9ONCDJ0K35L4
3KL452A16HEF8BM79GIODCJ0N
CD0NJ4K3L5A2H16FBE8MG9IO7
9GO7INDC0JK453L21AH6EB8MF
BEMF87G9OIDNJC043K5LA1H62
20 milliseconds
yes
| ?- halt



.