5 posts
• Page **1** of **1**

I'm trying to write a few first order logic rules for sudoku, but I can't figure out how to write a rule to say there is only one of the number in a column/row. I can't find anything in first order logic to say there is only one from this set here or to make it mutually exclusive.

- hellothere
**Posts:**2**Joined:**25 October 2008

Hi hellothere,

The rules of Sudoku are explained in the above tab "How to Play" which requires the grid (gameboard) to be filled in so that the numbers 1 to 9 occur exactly once in each row, column and 3x3 box.

Cec

The rules of Sudoku are explained in the above tab "How to Play" which requires the grid (gameboard) to be filled in so that the numbers 1 to 9 occur exactly once in each row, column and 3x3 box.

Cec

- Cec
**Posts:**1039**Joined:**16 June 2005

hellothere wrote:Yes, I know what the rules are, but I'm trying to write them in first order logic form.

Oops! way out of my depth - hopefully someone else will help you

Cec

- Cec
**Posts:**1039**Joined:**16 June 2005

5 posts
• Page **1** of **1**