如何在 ECLiPSe (CLP) 中将向量转换为数组？（或序言）

Question

我必须以包含 9 个向量（每个长度为 9）的向量格式解决数独谜题。看到矢量是 Prolog 中的链表，我想如果我先将谜题转换为二维数组格式，搜索会更快。

示例拼图：

puzzle(P) :- P = 
[[_,_,8,7,_,_,_,_,6],
[4,_,_,_,_,9,_,_,_],
[_,_,_,5,4,6,9,_,_],

[_,_,_,_,_,3,_,5,_],
[_,_,3,_,_,7,6,_,_],
[_,_,_,_,_,_,_,8,9],

[_,7,_,4,_,2,_,_,5],
[8,_,_,9,_,5,_,2,3],
[2,_,9,3,_,8,7,6,_]].

我正在使用 ECLiPSe CLP 来实现求解器。到目前为止，我想出的最好办法是编写这样的域：

domain(P):-
  dim(P,[9,9]),
  P[1..9,1..9] :: 1..9.

和拼图转换器（参数 P 是给定的拼图，数独是新定义的二维数组网格）。但是我无法将给定初始拼图的值链接到我的二维数组。

convertVectorsToArray(Sudoku,P):-
  ( for(I,1,9),
      param(Sudoku,P)
    do
      ( for(J,1,9),
          param(Sudoku,P,I)
        do
          Sudoku[I,J] is P[I,J]
      )
  ).

在此之前，我尝试使用 array_list (http://eclipseclp.org/doc/bips/kernel/termmanip/array_list-2.html)，但我一直收到类型错误。我之前是怎么做的：

convertVectorsToArray(Sudoku,P):-
  ( for(I,1,9),
      param(Sudoku,P)
    do
      ( for(J,1,9),
          param(Sudoku,P,I)
        do
          A is Sudoku[I],
          array_list(A,P[I])
      )
  ).

当我的数独最终以下列格式输出示例拼图 P 时：

Sudoku = []([](_Var1, _Var2, 8, 7, ..., 6), [](4, ...), ...)

那我就开心了

更新

我再次尝试 array_list；它几乎适用于以下代码：

convertVectorsToArray(Sudoku,P):-
  ( for(I,1,9),
      param(Sudoku,P)
    do
      X is Sudoku[I],
      Y is P[I],
      write(I),nl,
      write(X),nl,
      write(Y),nl,
      array_list(X, Y)
  ).

写信是为了看看 vectors/arrays 的样子。出于某种原因，它在第二次迭代（而不是 9 次）时停止，并将示例拼图的其余部分作为向量的向量输出。只有第一个向量被正确分配。

update2

虽然我确定 jschimpf 给出的答案是正确的，但我也想出了自己的实现方式：

convertVectorsToArray(Sudoku,[],_).
convertVectorsToArray(Sudoku,[Y|Rest],Count):-
  X is Sudoku[Count],
  array_list(X, Y),
  NewCount is Count + 1,
  convertVectorsToArray(Sudoku,Rest,NewCount).

感谢您补充解释为什么它以前不起作用！

Answer 1

最简单的解决方案是通过将拼图规范直接编写为二维数组来完全避免转换。 ECLiPSe "array" 只是一个带有仿函数 '[]'/N 的结构，所以你可以这样写：

puzzle(P) :- P = [](
    [](_,_,8,7,_,_,_,_,6),
    [](4,_,_,_,_,9,_,_,_),
    [](_,_,_,5,4,6,9,_,_),

    [](_,_,_,_,_,3,_,5,_),
    [](_,_,3,_,_,7,6,_,_),
    [](_,_,_,_,_,_,_,8,9),

    [](_,7,_,4,_,2,_,_,5),
    [](8,_,_,9,_,5,_,2,3),
    [](2,_,9,3,_,8,7,6,_)).

然后您可以直接使用此二维数组作为域变量的容器：

sudoku(P) :-
    puzzle(P),
    P[1..9,1..9] :: 1..9,
    ...

但是，如果您想保留您的列表列表拼图规范，并将其转换为数组格式，您可以使用 array_list/2。但由于这仅适用于一维数组，因此您必须单独转换嵌套级别：

listoflists_to_matrix(Xss, Xzz) :-
    % list of lists to list of arrays
    ( foreach(Xs,Xss), foreach(Xz,Xzs) do
        array_list(Xz, Xs)
    ),
    % list of arrays to array of arrays
    array_list(Xzz, Xzs).

至于你自己的代码没有运行的原因：这是由于下标符号P[I]。这个

要求 P 是一个数组（您在列表中使用它）
仅适用于需要算术表达式的上下文，例如is/2 的右侧，在算术约束等方面

如何在 ECLiPSe (CLP) 中将向量转换为数组？（或序言）

How to convert vectors to arrays in ECLiPSe (CLP)? (or Prolog)

arrays

prolog

eclipse-clp

如何在 ECLiPSe (CLP) 中将向量转换为数组？ （或序言）

How to convert vectors to arrays in ECLiPSe (CLP)? (or Prolog)

arrays

prolog

eclipse-clp

如何在 ECLiPSe (CLP) 中将向量转换为数组？（或序言）