From 079cffdadaac91175ee3fe9489f8b1ea92615c23 Mon Sep 17 00:00:00 2001 From: wi11-holdsworth <83637728+wi11-holdsworth@users.noreply.github.com> Date: Thu, 28 Aug 2025 16:08:38 +1000 Subject: [PATCH] reformat to keep lines under 80 chrs --- main.pl | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) diff --git a/main.pl b/main.pl index ce50a7b..1a21d9b 100644 --- a/main.pl +++ b/main.pl @@ -3,12 +3,13 @@ % Implements puzzle_solution/1 which solves incomplete proper math puzzles and % validates complete proper math puzzles. % -% A math puzzle is a matrix with a size between 2 and 4. The first row and first -% column of the puzzle are reserved for totals, which should always be ground. A -% total is either the sum or the product of its respective row/column. The top -% and left corner can be ignored. A puzzle can be incomplete, partially -% complete, or complete. An incomplete/partially complete puzzle should have -% "_" where the cell is empty. A proper math puzzle has at most one solution. +% A math puzzle is a matrix with a size between 2 and 4. The first row and +% first column of the puzzle are reserved for totals, which should always be +% ground. A total is either the sum or the product of its respective +% row/column. The top and left corner can be ignored. A puzzle can be +% incomplete, partially complete, or complete. An incomplete/partially +% complete puzzle should have "_" where the cell is empty. A proper math +% puzzle has at most one solution. % % We approach puzzle validation via the clpfd library. We apply constraints to % the puzzle in order of restrictiveness. @@ -80,7 +81,7 @@ all_same([Head,Head|Tail]) :- % A row is valid when: % 1. All elements except the head are integers from 1 to 9 (inclusive) % 2. All elements except the head are distinct -% 3. The head of the row is either the sum or the product of the tail of `Row` +% 3. The head of `Row` is either the sum or the product of the tail of `Row` valid_row([Total|Vars]) :- Vars ins 1..9,