Mercurial > repos > other > SevenLanguagesInSevenWeeks

annotate 3-Prolog/day3-sudoku.pl @ 66:2acc1ad8d365

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add half-completed sudoku solver
author IBBoard <dev@ibboard.co.uk>
date Mon, 02 Oct 2017 21:02:22 +0100
parents
children 8906b5a4517f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
66
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
1 % Create a generic sudoku reader
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
2
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
3 valid([]).
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
4 valid([Head|Tail]) :-
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
5 fd_all_different(Head),
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
6 valid(Tail).
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
7
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
8 sudoku(Board, X, Y, Solution) :-
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
9 Solution = Board,
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
10 Max is X * Y,
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
11 fd_domain(Solution, 1, Max),
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
12 board(X, Y, Board),
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
13 rows(Board, Max, Rows),
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
14 cols(Board, Max, Cols),
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
15 valid(Rows),
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
16 valid(Cols).
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
17 % TODO: Calculate boxes and validate them
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
18
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
19 board(X, Y, Board) :-
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
20 Size is X * Y * X * Y,
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
21 board(Size, Board).
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
22 board(1, [_]).
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
23 board(Size, [_|Board]) :- SmallerSize is Size - 1, board(SmallerSize, Board).
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
24
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
25 sublist(Start, Length, Input, Output) :- End is Start + Length - 1, sublist(Start, End, 1, Input, Output).
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
26 sublist(Start, End, Pos, [Head|TailIn], [Head|TailOut]) :- Pos >= Start, Pos =< End, NextPos is Pos + 1, sublist(Start, End, NextPos, TailIn, TailOut).
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
27 sublist(Start, End, Pos, [_|TailIn], Output) :- Pos < Start, NextPos is Pos + 1, sublist(Start, End, NextPos, TailIn, Output).
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
28 sublist(_, End, Pos, _, []) :- Pos > End.
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
29
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
30 rows(Board, RowLength, Rows) :- rows(Board, RowLength, 1, Rows).
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
31 rows(Board, RowLength, RowNum, [NewRow|Rows]) :- RowNum =< RowLength, NextRowNum is RowNum + 1,
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
32 Start is ((RowNum - 1) * RowLength) + 1, sublist(Start, RowLength, Board, NewRow),
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
33 rows(Board, RowLength, NextRowNum, Rows).
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
34 rows(_, RowLength, RowNum, []) :- RowNum > RowLength.
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
35
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
36 nth_from_list(Start, N, Input, Output) :- nth_from_list(N, Start, 1, Input, Output).
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
37 nth_from_list(N, Next, Pos, [Head|TailIn], [Head|TailOut]) :- Pos == Next, NewNext is Next + N, NewPos is Pos + 1,
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
38 nth_from_list(N, NewNext, NewPos, TailIn, TailOut).
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
39 nth_from_list(N, Next, Pos, [_|TailIn], Output) :- NewPos is Pos + 1, nth_from_list(N, Next, NewPos, TailIn, Output).
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
40 nth_from_list(_, _, _, [], []).
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
41
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
42 cols(Board, ColLength, Cols) :- cols(Board, ColLength, 1, Cols).
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
43 cols(Board, ColLength, ColNum, [NewCol|Cols]) :- ColNum =< ColLength, NextColNum is ColNum + 1,
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
44 nth_from_list(ColNum, ColLength, Board, NewCol),
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
45 cols(Board, ColLength, NextColNum, Cols).
2acc1ad8d365 Add half-completed sudoku solver
IBBoard <dev@ibboard.co.uk>
parents:
diff changeset
46 cols(_, ColLength, ColNum, []) :- ColNum > ColLength.