Add files via upload

db.pl

@@ -0,0 +1,30 @@
+
+:- use_module(library(clpfd)).
+
+sudoku(Rows) :-
+        length(Rows, 9),
+        maplist(same_length(Rows), Rows),
+        append(Rows, Vs),
+        Vs ins 1..9,
+        maplist(all_distinct, Rows),
+        transpose(Rows, Columns),
+        maplist(all_distinct, Columns),
+        Rows = [As,Bs,Cs,Ds,Es,Fs,Gs,Hs,Is],
+        square(As, Bs, Cs),
+        square(Ds, Es, Fs),
+        square(Gs, Hs, Is).
+
+square([], [], []).
+square([N1,N2,N3|Ns1], [N4,N5,N6|Ns2], [N7,N8,N9|Ns3]) :-
+        all_distinct([N1,N2,N3,N4,N5,N6,N7,N8,N9]),
+        square(Ns1, Ns2, Ns3).
+
+problem(1, [[_,_,_,_,_,4,_,_,2],
+            [_,6,_,2,_,_,_,3,_],
+            [_,8,_,_,_,3,5,_,9],
+            [_,4,_,_,_,_,1,_,_],
+            [1,_,_,7,_,5,_,_,_],
+            [5,_,3,_,_,_,_,_,_],
+            [_,9,_,3,_,_,_,_,_],
+            [_,_,4,_,6,1,_,_,_],
+            [_,_,5,_,_,_,7,_,_]]).