will-holdsworth/comp30002-project-1
1
1
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

actually generate solutions

Browse source
This commit is contained in:
wi11-holdsworth 2025-08-26 21:34:26 +10:00
parent a568d59ce6
commit 15c51a8637
1 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

9
main.pl
View file

@ -18,10 +18,11 @@ puzzle_solution(Puzzle) :-
%% valid(+Row) %% valid(+Row)
% %
valid_row([Head|Tail]) :- valid_row([Head|Row]) :-
Tail ins 1..9, Row ins 1..9,
all_distinct(Tail), all_distinct(Row),
valid_head(Head, Tail). valid_head(Head, Row),
label(Row).
%% valid_head(+Head, +Tail) %% valid_head(+Head, +Tail)