mutable.mu.html « html - mu - Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

blob: 82c7ae1063efe5aa43b4dd40480686bfb3b49367 (plain) (tree)

f8a4a457 ^

f8a4a457 ^

3e1349d2 ^

f8a4a457 ^

f344b250 ^

f8a4a457 ^

f344b250 ^

f8a4a457 ^

1
2
3
4
5
6
7
8
9
10
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-11-17 22:24:55 +0000

class="s">"Constant">1 } # still work to do next-rank:num <- copy 0 { break-unless queens first:square <- first queens existing-rank:num <- get first, rank:offset next-rank <- add existing-rank, 1 } result <- copy 0 next-file:num <- copy 0 { done?:boolean <- greater-or-equal next-file, n break-if done? curr:square <- merge next-rank, next-file { curr-conflicts?:boolean <- conflict? curr, queens break-if curr-conflicts? new-queens:&:list:square <- push curr, queens sub-result:num <- nqueens n, new-queens result <- add result, sub-result } next-file <- add next-file, 1 loop } ] def conflict? curr:square, queens:&:list:square -> result:boolean [ local-scope load-ingredients result1:boolean <- conflicting-file? curr, queens reply-if result1, result1 result2:boolean <- conflicting-diagonal? curr, queens reply result2 ] def conflicting-file? curr:square, queens:&:list:square -> result:boolean [ local-scope load-ingredients curr-file:num <- get curr, file:offset { break-unless queens q:square <- first queens qfile:num <- get q, file:offset file-match?:boolean <- equal curr-file, qfile reply-if file-match?, 1/conflict-found queens <- rest queens loop } reply 0/no-conflict-found ] def conflicting-diagonal? curr:square, queens:&:list:square -> result:boolean [ local-scope load-ingredients curr-rank:num <- get curr, rank:offset curr-file:num <- get curr, file:offset { break-unless queens q:square <- first queens qrank:num <- get q, rank:offset qfile:num <- get q, file:offset rank-delta:num <- subtract qrank, curr-rank file-delta:num <- subtract qfile, curr-file rank-delta <- abs rank-delta file-delta <- abs file-delta diagonal-match?:boolean <- equal rank-delta, file-delta reply-if diagonal-match?, 1/conflict-found queens <- rest queens loop } reply 0/no-conflict-found ] def main [ nqueens 4 $dump-trace [app] ] </pre> </body> </html>