% sudoku_boards.pl
% Autor: Wiebke Petersen
% Datum: 27.04.2017


% Write a program that loads the sudoku boards from sudoku_boars.pl into the
% knowledge base.
% Write a predicate solve_game/1 that solves a board and prints the solution.


% with 'loadboards:- consult(sudoku_boards).'  you can load the boards into your program.


% games are represented as lists of triples (row,col,digit)

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

game(1.1,[ % the solution for game 1
        (1,1,7),(1,2,4),(1,3,1),(1,4,2),(1,5,9),(1,6,8),(1,7,6),(1,8,5),(1,9,3),
        (2,1,5),(2,2,8),(2,3,9),(2,4,6),(2,5,1),(2,6,3),(2,7,7),(2,8,2),(2,9,4),
        (3,1,2),(3,2,6),(3,3,3),(3,4,7),(3,5,5),(3,6,4),(3,7,9),(3,8,1),(3,9,8),
        (4,1,4),(4,2,7),(4,3,5),(4,4,1),(4,5,2),(4,6,9),(4,7,8),(4,8,3),(4,9,6),
        (5,1,3),(5,2,9),(5,3,8),(5,4,5),(5,5,4),(5,6,6),(5,7,1),(5,8,7),(5,9,2),
        (6,1,1),(6,2,2),(6,3,6),(6,4,8),(6,5,3),(6,6,7),(6,7,4),(6,8,9),(6,9,5),
        (7,1,9),(7,2,1),(7,3,4),(7,4,3),(7,5,6),(7,6,5),(7,7,2),(7,8,8),(7,9,7),
        (8,1,6),(8,2,5),(8,3,7),(8,4,9),(8,5,8),(8,6,2),(8,7,3),(8,8,4),(8,9,1),
        (9,1,8),(9,2,3),(9,3,2),(9,4,4),(9,5,7),(9,6,1),(9,7,5),(9,8,6),(9,9,9)]).

game(1.2,[ % simpler game 1
        (1,1,7),(1,2,4),(1,3,1),(1,4,2),(1,5,9),(1,6,8),(1,8,5),(1,9,3),
        (2,1,5),(2,2,8),(2,3,9),(2,5,1),(2,6,3),(2,7,7),(2,8,2),(2,9,4),
        (3,1,2),(3,2,6),(3,4,7),(3,5,5),(3,6,4),(3,7,9),(3,8,1),(3,9,8),
        (4,1,4),(4,2,7),(4,3,5),(4,4,1),(4,5,2),(4,6,9),(4,7,8),(4,8,3),(4,9,6),
        (6,1,1),(6,2,2),(6,3,6),(6,4,8),(6,5,3),(6,6,7),(6,7,4),(6,8,9),(6,9,5),
        (7,1,9),(7,2,1),(7,3,4),(7,4,3),(7,5,6),(7,6,5),(7,7,2),(7,8,8),(7,9,7),
        (8,2,5),(8,3,7),(8,4,9),(8,5,8),(8,6,2),(8,7,3),(8,8,4),(8,9,1),
        (9,1,8),(9,2,3),(9,4,4),(9,5,7),(9,6,1),(9,7,5),(9,8,6),(9,9,9)]).


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

game(2.1,[
        (1,1,2),(1,4,7),(1,5,5),(1,7,8),(1,8,1),(1,9,6),
        (2,1,1),(2,2,7),(2,3,5),(2,4,3),(2,5,6),(2,6,8),(2,7,4),(2,8,9),(2,9,2),
        (3,1,6),(3,3,8),(3,5,2),(3,6,1),(3,7,7),
        (4,2,5),(4,4,1),(4,5,3),(4,6,2),
        (5,1,3),(5,2,2),(5,3,6),(5,4,8),(5,5,9),(5,6,7),(5,7,5),(5,8,4),(5,9,1),
        (6,4,6),(6,5,4),(6,6,5),(6,8,2),
        (7,3,3),(7,5,8),(7,7,1),
        (8,2,6),(8,4,5),(8,5,1),(8,8,8),(8,9,4),
        (9,1,5),(9,2,8),(9,5,7),(9,9,9)]).

%       2 ? ? 7 5 ? 8 1 6
%       1 7 5 3 6 8 4 9 2
%       6 ? 8 ? 2 1 7 ? ?
%       ? 5 ? 1 3 2 ? ? ?
%       3 2 6 8 9 7 5 4 1
%       ? ? ? 6 4 5 ? 2 ?
%       ? ? 3 ? 8 ? 1 ? ?
%       ? 6 ? 5 1 ? ? 8 4
%       5 8 ? ? 7 ? ? ? 9

%       2 3 9 7 5 4 8 1 6
%       1 7 5 3 6 8 4 9 2
%       6 4 8 9 2 1 7 3 5
%       9 5 4 1 3 2 6 7 8
%       3 2 6 8 9 7 5 4 1
%       8 1 7 6 4 5 9 2 3
%       4 9 3 2 8 6 1 5 7
%       7 6 2 5 1 9 3 8 4
%       5 8 1 4 7 3 2 6 9

game(2.2,[
        (1,5,5),(1,8,1),(1,9,6),
        (2,1,1),(2,2,7),(2,6,8),(2,8,9),
        (3,5,2),(3,7,7),
        (4,2,5),(4,5,3),
        (5,1,3),(5,3,6),(5,6,7),(5,7,5),(5,9,1),
        (6,5,4),(6,8,2),
        (7,3,3),(7,5,8),(7,7,1),
        (8,2,6),(8,4,5),(8,8,8),(8,9,4),
        (9,1,5),(9,2,8),(9,5,7),(9,9,9)]).


game(2.3,[
        (1,5,5),(1,8,1),(1,9,6),
        (2,2,7),(2,6,8),(2,8,9),
        (3,5,2),(3,7,7),
        (4,2,5),(4,5,3),
        (5,3,6),(5,6,7),(5,7,5),(5,9,1),
        (6,5,4),(6,8,2),
        (7,3,3),(7,5,8),(7,7,1),
        (8,2,6),(8,4,5),(8,8,8),(8,9,4),
        (9,2,8),(9,5,7),(9,9,9)]).

game(2.4,[
        (1,5,5),(1,8,1),(1,9,6),
        (2,2,7),(2,6,8),(2,8,9),
        (3,5,2),(3,7,7),
        (4,2,5),(4,5,3),
        (5,3,6),(5,6,7),(5,7,5),(5,9,1),
        (6,5,4),(6,8,2),
        (7,3,3),(7,5,8),(7,7,1),
        (8,4,5),(8,8,8),(8,9,4),
        (9,2,8),(9,5,7),(9,9,9)]).


game(2.5,[
        (1,5,5),(1,8,1),(1,9,6),
        (2,2,7),(2,6,8),(2,8,9),
        (3,5,2),(3,7,7),
        (4,2,5),(4,5,3),
        (5,3,6),(5,6,7),(5,7,5),(5,9,1),
        (6,5,4),(6,8,2),
        (7,3,3),(7,5,8),(7,7,1),
        (8,4,5),(8,8,8),(8,9,4),
        (9,2,8),(9,5,7),(9,9,9)]).

game(2.6,[
        (1,5,5),(1,8,1),(1,9,6),
        (2,6,8),(2,8,9),
        (3,5,2),(3,7,7),
        (4,2,5),(4,5,3),
        (5,3,6),(5,6,7),(5,7,5),(5,9,1),
        (6,5,4),(6,8,2),
        (7,3,3),(7,5,8),(7,7,1),
        (8,4,5),(8,8,8),(8,9,4),
        (9,2,8),(9,5,7),(9,9,9)]).


%sehr schwer
game(2.7,[
        (1,5,5),(1,8,1),(1,9,6),
        (2,2,7),(2,6,8),(2,8,9),
        (3,5,2),(3,7,7),
        (4,2,5),(4,5,3),
        (5,6,7),(5,7,5),(5,9,1),
        (6,5,4),(6,8,2),
        (7,3,3),(7,5,8),(7,7,1),
        (8,4,5),(8,8,8),(8,9,4),
        (9,2,8),(9,5,7),(9,9,9)]).


game(3.3, [ % Die Zeit, 26.09.2005, leicht
        (1,1,4),(1,2,1),(1,4,8),(1,8,9),
        (2,4,6),(2,5,4),(2,6,7),(2,8,8),
        (3,4,2),(3,7,7),(3,8,4),
        (4,2,4),(4,3,6),(4,4,5),(4,5,3),(4,9,2),
        (5,3,5),(5,7,3),
        (6,2,7),(6,3,1),(6,7,9),(6,8,6),
        (7,2,8),(7,3,3),(7,5,2),(7,6,4),(7,7,6),
        (8,4,3),(8,5,9),(8,9,8),
        (9,1,5),(9,2,9)]).

game(3.4,[ % Die Zeit, 26.09.2005, leicht
        (1,1,2),(1,2,4),(1,4,6),(1,8,1),
        (2,4,3),(2,5,2),(2,6,5),(2,8,4),
        (3,4,8),(3,7,3),(3,8,9),
        (4,2,2),(4,3,5),(4,4,9),(4,5,4),(4,9,1),
        (5,3,8),(5,7,7),
        (6,2,6),(6,3,1),(6,7,9),(6,8,3),
        (7,2,9),(7,3,2),(7,5,3),(7,6,7),(7,7,1),
        (8,4,5),(8,5,6),(8,9,9),
        (9,1,8),(9,2,7)]).

game(3.5,[ % Die Zeit, 29.09.2005, schwer
        (1,4,2),(1,5,3),
        (2,1,5),(2,3,1),(2,6,7),(2,8,9),
        (3,1,8),(3,3,4),(3,5,9),(3,9,2),
        (4,3,6),(4,6,8),(4,7,5),(4,8,1),
        (5,1,7),(5,5,1),(5,7,2),(5,9,3),
        (6,5,5),(6,9,6),
        (7,2,5),(7,4,6),(7,8,3),
        (8,1,6),(8,2,1),(8,3,9),(8,5,7),(8,6,3),(8,7,4),
        (9,6,2)]).

game(3.6,[ % Die Zeit, 15.09.2005, schwer
        (1,1,6),(1,2,5),(1,3,3),(1,4,1),(1,8,7),(1,9,2),
        (2,2,1),(2,3,4),(2,4,8),
        (3,1,8),(3,2,7),(3,4,2),(3,5,3),(3,7,1),
        (4,3,8),(4,5,7),(4,7,6),
        (5,2,3),(5,4,4),(5,5,5),(5,6,8),
        (6,6,6),(6,7,5),(6,8,4),
        (7,3,5),(7,4,6),(7,5,8),(7,6,3),
        (8,5,9),(8,7,7)
        ]).

game(3.7,[ % Die Zeit, 29.09.2005, leicht
        (1,1,5),(1,6,6),
        (2,4,4),(2,5,7),(2,6,8),(2,9,1),
        (3,1,3),(3,6,1),(3,7,2),
        (4,8,3),
        (5,2,3),(5,4,9),(5,5,6),(5,7,7),(5,8,1),(5,9,8),
        (6,2,6),(6,5,1),(6,6,2),
        (7,1,4),(7,2,1),(7,4,7),(7,6,9),(7,7,5),(7,9,3),
        (8,5,5),(8,8,9),
        (9,3,5),(9,4,1),(9,6,3),(9,7,4),(9,8,8)]).


game(4.1,[
        (1,1,7),(1,3,1),(1,7,6),
        (2,2,8),(2,6,3),
        (3,1,2),(3,5,5),(3,6,4),(3,9,8),
        (4,1,4),(4,2,7),(4,3,5),(4,5,2),(4,9,6),
        (5,1,3),(5,3,8),(5,7,1),(5,9,2),
        (6,1,1),(6,5,3),(6,7,4),(6,8,9),(6,9,5),
        (7,1,9),(7,4,3),(7,5,6),(7,9,7),
        (8,2,5),(8,4,9),
        (9,1,8),(9,3,2),(9,7,5)]).


game(4.2,[
        (1,1,2),(1,5,5),(1,8,1),(1,9,6),
        (2,1,1),(2,2,7),(2,6,8),(2,8,9),
        (3,3,8),(3,5,2),(3,7,7),
        (4,2,5),(4,5,3),
        (5,1,3),(5,3,6),(5,4,8),(5,6,7),(5,7,5),(5,9,1),
        (6,5,4),(6,8,2),
        (7,3,3),(7,5,8),(7,7,1),
        (8,2,6),(8,4,5),(8,8,8),(8,9,4),
        (9,1,5),(9,2,8),(9,5,7),(9,9,9)]).


game(4.3, [ % Die Zeit, 26.09.2005, leicht
        (1,1,4),(1,2,1),(1,4,8),(1,8,9),
        (2,4,6),(2,5,4),(2,6,7),(2,8,8),
        (3,4,2),(3,7,7),(3,8,4),
        (4,2,4),(4,3,6),(4,4,5),(4,5,3),(4,9,2),
        (5,3,5),(5,7,3),
        (6,2,7),(6,3,1),(6,7,9),(6,8,6),
        (7,2,8),(7,3,3),(7,5,2),(7,6,4),(7,7,6),
        (8,4,3),(8,5,9),(8,9,8),
        (9,1,5),(9,2,9)]).

game(4.4,[ % Die Zeit, 26.09.2005, leicht
        (1,1,2),(1,2,4),(1,4,6),(1,8,1),
        (2,4,3),(2,5,2),(2,6,5),(2,8,4),
        (3,4,8),(3,7,3),(3,8,9),
        (4,2,2),(4,3,5),(4,4,9),(4,5,4),(4,9,1),
        (5,3,8),(5,7,7),
        (6,2,6),(6,3,1),(6,7,9),(6,8,3),
        (7,2,9),(7,3,2),(7,5,3),(7,6,7),(7,7,1),
        (8,4,5),(8,5,6),(8,9,9),
        (9,1,8),(9,2,7)]).

game(4.5,[ % Die Zeit, 29.09.2005, schwer
        (1,4,2),(1,5,3),
        (2,1,5),(2,3,1),(2,6,7),(2,8,9),
        (3,1,8),(3,3,4),(3,5,9),(3,9,2),
        (4,3,6),(4,6,8),(4,7,5),(4,8,1),
        (5,1,7),(5,5,1),(5,7,2),(5,9,3),
        (6,5,5),(6,9,6),
        (7,2,5),(7,4,6),(7,8,3),
        (8,1,6),(8,2,1),(8,3,9),(8,5,7),(8,6,3),(8,7,4),
        (9,6,2)]).

game(4.6,[ % Die Zeit, 15.09.2005, schwer
        (1,1,6),(1,2,5),(1,3,3),(1,4,1),(1,8,7),(1,9,2),
        (2,2,1),(2,3,4),(2,4,8),
        (3,1,8),(3,2,7),(3,4,2),(3,5,3),(3,7,1),
        (4,3,8),(4,5,7),(4,7,6),
        (5,2,3),(5,4,4),(5,5,5),(5,6,8),
        (6,6,6),(6,7,5),(6,8,4),
        (7,3,5),(7,4,6),(7,5,8),(7,6,3),
        (8,5,9),(8,7,7)
        ]).

game(4.7,[ % Die Zeit, 29.09.2005, leicht
        (1,1,5),(1,6,6),
        (2,4,4),(2,5,7),(2,6,8),(2,9,1),
        (3,1,3),(3,6,1),(3,7,2),
        (4,8,3),
        (5,2,3),(5,4,9),(5,5,6),(5,7,7),(5,8,1),(5,9,8),
        (6,2,6),(6,5,1),(6,6,2),
        (7,1,4),(7,2,1),(7,4,7),(7,6,9),(7,7,5),(7,9,3),
        (8,5,5),(8,8,9),
        (9,3,5),(9,4,1),(9,6,3),(9,7,4),(9,8,8)]).


game(4.8,[
        (1,1,3),(1,6,2),
        (2,3,6),(2,8,9),
        (3,3,9),(3,6,4),(3,9,3),
        (4,2,9),(4,9,5),
        (5,2,5),(5,4,8),(5,8,6),
        (6,1,8),(6,5,3),(6,8,1),
        (7,1,2),(7,4,9),(7,7,3),
        (8,2,6),(8,7,4),
        (9,4,1),(9,9,7)]).



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

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





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

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


game(9,   % daily unsolvable sudokuwiki.org (27.4.2017)
        [(1,6,1),(1,8,4),(2,4,3),(2,9,2),
        (3,1,6),(3,5,5),(3,7,9),(4,4,5),(4,9,3),
        (5,2,5),(5,6,2),(5,8,1),(6,3,7),(6,5,9),(6,7,5),
        (7,1,7),(7,3,9),(8,2,6),(8,5,7),(8,7,8),(9,3,8),(9,4,4)]).



% game(10,[]).