summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas White <taw@physics.org>2022-04-03 22:49:01 +0200
committerThomas White <taw@physics.org>2022-04-03 22:49:01 +0200
commitd72557b139b3833e6bb4db16555a92821f084cbb (patch)
tree87ed9d8061b0329c944d3dca5985ef145fa7de2f
parentd2b9eb7bb32cf69f57eb32d4ed39ebd3aa705ff5 (diff)
Fix terminology
-rw-r--r--sudoku.scm14
1 files changed, 7 insertions, 7 deletions
diff --git a/sudoku.scm b/sudoku.scm
index 8637e36..a92747b 100644
--- a/sudoku.scm
+++ b/sudoku.scm
@@ -92,7 +92,7 @@
board))
-(define (all-one-number board col row)
+(define (exactly-one-number board col row)
(exactly-one-true
(map
(lambda (value)
@@ -100,18 +100,18 @@
(iota 9))))
-(let* ((board (make-board)))
+(let ((board (make-board)))
+
+ ;; Each position contains exactly one number
+ (do ((col 0 (1+ col))) ((= col 9))
+ (do ((row 0 (1+ row))) ((= row 9))
+ (exactly-one-number board col row)))
;; The standard Sudoku rules
(all-unique-values board (rows))
(all-unique-values board (cols))
(all-unique-values board (boxes))
- ;; Each position contains exactly one number
- (do ((col 0 (1+ col))) ((= col 9))
- (do ((row 0 (1+ row))) ((= row 9))
- (all-one-number board col row)))
-
;; Initially specified values
(set-initial-value board 0 0 4)
(set-initial-value board 0 7 5)