All predicatesShow sourcesudoku.pl -- SWISH Sudoku renderer

Renders a term like below as a sudoku matrix

[[_,_,_,_,_,_,_,_,_],
 [_,_,_,_,_,3,_,8,5],
 [_,_,1,_,2,_,_,_,_],
 [_,_,_,5,_,7,_,_,_],
 [_,_,4,_,_,_,1,_,_],
 [_,9,_,_,_,_,_,_,_],
 [5,_,_,_,_,_,_,7,3],
 [_,_,2,_,1,_,_,_,_],
 [_,_,_,_,4,_,_,_,9]]
Source term_rendering(+Term, +Vars, +Options)//
Renders Term as a sudoku matrix. Term must be a list of 9 lists, each of which must have 9 elements that are all either the integer 1..9 or unbound.
Source is_sudoku(+Term) is semidet[private]
Type check for a term to be a representation for a Sudoku puzzle.