I made this as a minor project in the second semester of my MSc IT.
Find a file
2021-05-20 13:52:26 +05:30
.DS_Store Create .DS_Store 2021-05-20 13:52:26 +05:30
CNAME Create CNAME 2021-05-20 13:51:08 +05:30
db.pl Add files via upload 2021-05-18 13:19:40 +05:30
README.md Read Me 2021-05-20 13:46:16 +05:30

Sudoku Solver (Prolog)

Run by using the command

problem(1,Rows), sudoku(Rows), maplist(portray_clause, Rows).

More problems-

puzzle(1, [[_,4,_,9,_,_,_,5,_],
           [2,_,_,_,_,_,_,4,_],
           [1,9,_,_,8,_,7,_,_],
           [5,_,_,_,_,_,1,_,_],
           [_,_,7,_,6,_,_,_,3],
           [_,_,_,_,3,_,8,9,_],
           [_,8,_,3,4,_,_,6,_], 
           [3,_,_,2,_,8,_,_,_],
           [_,_,_,_,_,_,_,_,_]]).

puzzle(2, [[_,_,9,5,_,_,_,3,7],
           [1,3,7,9,_,_,_,5,2],
           [2,_,_,_,_,3,6,9,_],
           [3,5,2,_,1,_,_,_,6],
           [_,_,_,4,5,2,3,_,_],
           [_,8,1,_,3,_,2,_,_],
           [6,_,3,_,4,_,8,_,9],
           [5,2,_,_,_,1,_,6,_],
           [_,_,_,3,_,7,_,_,_]]).

puzzle(3, [[_,5,_,1,_,_,_,_,_],
           [2,_,_,5,_,_,6,_,_],
           [1,_,_,_,8,_,2,_,_],
           [_,8,_,4,3,_,_,_,_],
           [_,_,_,_,_,_,_,4,_],
           [_,_,_,_,_,7,9,3,2],
           [_,4,_,6,7,_,_,_,_],
           [_,7,_,_,_,_,_,1,9],
           [9,_,_,_,_,8,_,_,_]]).