A framework for a descriptive language of sudoku variants using ASP