学习Prolog，Sudoku Solver

Question

我的问题是:在学习Prolog时，我想做一个NxN Sudoku解决程序。这个解算器将得到类似的输入

    [[1,2,3,4],[3,4,1,2],[2,3,4,1],[4,1,2,3]]

其中一些可能是变量。解决者必须解决那个数独。问题要小得多：

    firstElementsOf([],_).
    firstElementsOf([[X|_]|Rest2],Y) :-
      firstElementsOf(Rest2,Y2),
      append([X],[Y2],NotFlat),
      flatten(NotFlat,Y).

这应该是检查的开始，如果每一列都有不同的编号。来自Y的firstElementsOf应该只包含给定行的第一个元素。在本例中：

    [1,3,2,4]

遗憾的是，由于附加，它总是为Y列表添加另一个空空间。它规定：

    [1,3,2,4,_1320]

Question1:有办法摆脱_1320吗？

Question2:这样对吗？会有一种方法来获取输入的第2和第3元素吗？

Answer 1

关于问题1:我想错误在

firstElementsOf([],_).

我觉得应该是

firstElementsOf([],[]).

离题:你确定你不能简单地按照下面的方式写出另一个子句吗？

firstElementsOf([[X|_]|Rest2],[X|Y]) :-
  firstElementsOf(Rest2,Y).

对于问题2:我提出了一个更通用的谓词:支持getPosElem/3的以下getPosElem/3

getPosElem([H | _], 1, H).

getPosElem([_ | T], Pos, H) :-
  Pos > 1,
  Pm1 is Pos - 1,
  getPosElem(T, Pm1, H).

getPosList([], _, []).

getPosList([H | T], Pos, [E | L]) :-
  getPosElem(H, Pos, E),
  getPosList(T, Pos, L).

它提取Pos位置中所有元素的列表，因此

getPosList([[1,2,3,4],[3,4,1,2],[2,3,4,1],[4,1,2,3]], 1, L),

它相当于firstElementOf([[1,2,3,4],[3,4,1,2],[2,3,4,1],[4,1,2,3]], L)和提取[1, 3, 2, 4]，

getPosList([[1,2,3,4],[3,4,1,2],[2,3,4,1],[4,1,2,3]], 2, L),

提取[2, 4, 3, 1]，

getPosList([[1,2,3,4],[3,4,1,2],[2,3,4,1],[4,1,2,3]], 3, L),

提取[3, 1, 4, 2]，

getPosList([[1,2,3,4],[3,4,1,2],[2,3,4,1],[4,1,2,3]], 4, L),

提取[4, 2, 1, 3]和

getPosList([[1,2,3,4],[3,4,1,2],[2,3,4,1],[4,1,2,3]], 5, L),

或一个大于5的数字，返回false