Smap

Choose the version you want to view.

Current version:Version message:

Program created.

Click on a tag to show all related programs.

curry non-determinism mini_sudoku variables

Click on the badge to open the comment window for viewing and writing comments.

No comments yet.

Created by antoy on July 30, 2014

0 users favorited this

Description: A very simple sudoku player. By hardcoding the board and the game, the code is remarkably simple.

Source code (Latest version):

-- Mini sudoku

-- Puzzles Galore Volume I (Sudoku and other puzzles).
-- Chapter 2 page 1.
-- http://www.lulu.com/items/volume_5/127000/127865/2/preview/preview.pdf
-- http://www.cs.engr.uky.edu/~mirek/

-- Sergio Antoy, Wed Feb  1 09:59:18 PST 2006
-- Adapted from a version of Yang Chen submitted
-- for the take home exam of CS510, Theory & Practice
-- of Functional Logic Programming, Winter 2006.

digit = 1 ? 2 ? 3 ? 4

result | and (map nodup groups)
       = [aA, aB, aC, aD,
          bA, bB, bC, bD,
          cA, cB, cC, cD,
          dA, dB, dC, dD]
       where nodup [p,q,r,s] = p/=q && p/=r && p/=s && q/=r && q/=s && r/=s
             aA = digit
             aB = digit
             aC = digit
             aD = 3
             bA = digit
             bB = digit
             bC = 2
             bD = 4
             cA = 2
             cB = digit
             cC = digit
             cD = digit
             dA = digit
             dB = 3
             dC = digit
             dD = digit
             groups = [[aA, aB, aC, aD],  -- r1
                       [aA, bA, cA, dA],  -- c1
                       [aA, aB, bA, bB],  -- s1
                       [bA, bB, bC, bD],  -- r2
                       [aB, bB, cB, dB],  -- c2
                       [aC, aD, bC, bD],  -- s2
                       [cA, cB, cC, cD],  -- r3
                       [aC, bC, cC, dC],  -- c3
                       [cA, cB, dA, dB],  -- s3
                       [dA, dB, dC, dD],  -- r4
                       [aD, bD, cD, dD],  -- c4
                       [cC, cD, dC, dD]]  -- s4

main = result
-- main = pp result

pp state = putStrLn (pp2 0 state)
  where pp2 n (x:xs) = newline n ++ " " ++ (show x) ++ pp2 (n+1) xs
        pp2 _ []     = "\n"
        newline n | n `mod` 4 == 0 = "\n"
                  | otherwise      = ""

Options

Versions

1 version

Tags

4 tags

Comments

0 comments »

Mini sudoku

implemented in Curry