Queries to Prolog for sudoku solution has been writen.