Designing Logic Tensor Networks for Visual Sudoku puzzle classification