prolog

swi-prolog是prolog比较流行的一种实现，但话说prolog这货的语法还真不好理解，而且资料少，当年与LISP相抗衡，现在好像不怎么火了。在win7上折腾，还是没把命令行交互模式下的readline补全给搞明白，体验太差了。 事实与规则文件内容如下： % 加载库--有限域的计算 :- use_module(library(clpfd)). valid([]). valid([Head|Tail]) :- all_different(Head), % in the book, this is 'fd_all_different' valid(Tail). % beginning of sudoku rule itself sudoku(Puzzle, Solution) :- Solution = Puzzle, Puzzle = [S11, S12, S13, S14, S21, S22, S23, S24, S31, S32, S33, S34, S41, S42, S43, S44], Puzzle ins 1..4, % in the book, this is 'fd_domain' Row1 = [S11, S12, S13, S14], Row2 = [S21, S22, S23, S24], Row3 = [S31, S32, S33, S34],

我们先了解一下什么是数独 数独（ shù dú ）是源自 18 世纪瑞士的一种数学游戏。它是一种运用纸、笔进行演算的逻辑游戏。数独有多种类型，我们仅以其中一种类型作为本文实例。 玩家需要根据 9×9 盘面上的已知数字，推理出所有剩余空格的数字，并满足每一行、每一列、每一个粗线宫（ 3*3 ）内的数字均含 1-9 ，不重复。 方格 水平方向有九横行，垂直方向有九纵列的矩形，画分八十一个小正方形，称为九宫格（ Grid ），如图一所示，是数独（ Sudoku ）的作用范围。 行：水平方向的每一横行有九格，每一横行称为行（Row） 列：垂直方向的每一纵列有九格，每一纵列称为列（ Column ） 宫：三行与三列相交之处有九格，每一单元称为小九宫（ Box 、 Block ），简称 宫 ，如图四所示（在杀手数独中，宫往往用单词 Nonet 表示） 上述行、列、宫、单元格统称为单元（ Unit ）；而行、列、宫统称为区域（ Region ）。 区块 由三个连续宫组成大行列（ Chute ），分大行（ Floor ）及大列（ Tower ）。 第一大行：由第一宫、第二宫、第三宫组成。 第二大行：由第四宫、第五宫、第六宫组成。 第三大行：由第七宫、第八宫、第九宫组成。 第一大列：由第一宫、第四宫、第七宫组成。 第二大列：由第二宫、第五宫、第八宫组成。 第三大列：由第三宫、第六宫、第九宫组成。