Reformat the SudokuPrologFilPAth in ResolverService