From 15c51a8637e8367c96ea62cdb91b4c99caa00820 Mon Sep 17 00:00:00 2001 From: wi11-holdsworth <83637728+wi11-holdsworth@users.noreply.github.com> Date: Tue, 26 Aug 2025 21:34:26 +1000 Subject: [PATCH] actually generate solutions --- main.pl | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/main.pl b/main.pl index 6342348..f52ade7 100644 --- a/main.pl +++ b/main.pl @@ -18,10 +18,11 @@ puzzle_solution(Puzzle) :- %% valid(+Row) % -valid_row([Head|Tail]) :- - Tail ins 1..9, - all_distinct(Tail), - valid_head(Head, Tail). +valid_row([Head|Row]) :- + Row ins 1..9, + all_distinct(Row), + valid_head(Head, Row), + label(Row). %% valid_head(+Head, +Tail)