The New Sudoku Players' Forum

by **hellothere** » Sat Oct 25, 2008 4:39 pm

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.

by **Cec** » Sun Oct 26, 2008 5:19 am

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

by **hellothere** » Sun Oct 26, 2008 10:45 am

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

by **Cec** » Sun Oct 26, 2008 5:48 pm

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

by **udosuk** » Sun Oct 26, 2008 11:02 pm

First order logic happened to be my major field during my college days years ago. :idea:

I'm a bit busy these days. But if I get some free time later on I will definitely try to help you out.

The New Sudoku Players' Forum

first order logic

first order logic

Re: first order logic

first order logic