Application of CLIPS in Sudoku X-Mini Solving