For this program, i used prolog the Constraint Logic Programming over Finite Domains (CLPFD) library.
To run the .pl file on SWI-prolog compiler, go to it then run the following command
swipl -l sudoku_solver.pl
?- solver('sudoku-puzzle-input/name_sudoku.txt', 'sudoku-puzzle-output/name_sudoku.txt').