/*
	solve_puzzle(Puzzle,Solution) :-
		Solution is a solution of Puzzle,
		where Puzzle is puzzle(Clues,Queries,Solution).
*/

	solve_puzzle(puzzle(Clues,Queries,Solution),Solution) :-
		solve(Clues),
		solve(Queries).

	solve([Clue|Clues]) :-
		Clue, solve(Clues).
	solve([]).

%	Program 14.6: A puzzle solver