A General Logic for Sudoku

****