With jess 7.0b6, I'm trying to improve a Sudoku solver based on
http://www.csc.calpoly.edu/~team_3fk/W06/milestone4.clp
I have the modified code and watch-rules.log available at:
http://jywiki.sf.net/sudoku/
Currently it is not working. According to watch-rules.log,
On line 1113, cell[5, 5] f-42 has (3 4 5 7 8) as possibles;
On line 1155, it sets cell[3, 5] to 3;
On line 1166, it removes 3 from the possibles multislot
of cell[5, 5] f-42 based on the cleancol rule;
Yet on line 1167, it is firing the single_answer_col rule
as if 3 is still possible at cell[5, 5];
On line 1210, clearly cell[5, 5] f-42 only has (4 5 7 8) as possibles;
There must be a bug, either in sudoku.clp or jess 7.0b6. Shouldn't "FIRE 315
MAIN::cleancol" on line 1166 prevent "FIRE 316 MAIN::single_answer_col"?
I would really appreciate any insight into what is really happening. You can try
run the code.
-Brian Zhou
--------------------------------------------------------------------
To unsubscribe, send the words 'unsubscribe jess-users [EMAIL PROTECTED]'
in the BODY of a message to [EMAIL PROTECTED], NOT to the list
(use your own address!) List problems? Notify [EMAIL PROTECTED]
--------------------------------------------------------------------
