Prolog 通配符：重复列表而不更改通配符值

Question

直奔主题：

我在处理 Prolog 的统一系统时遇到问题，以及通配符在通过我的程序时会发生什么。我的代码如下：

board(B) :- [R1, R2, R3, R4, R5, R6, R7, R8, R9] = B,
        noDuplicatesRows([R1, R2, R3, R4, R5, R6, R7, R8, R9]),
        horzAllWorthy([R1, R2, R3, R4, R5, R6, R7, R8, R9]),
        vertAllWorthy([R1, R2, R3, R4, R5, R6, R7, R8, R9]).

棋盘是数独棋盘。 我基本上是在测试板上的行是否有重复的数字，然后测试行和列是否通过某些约束。问题是行中有通配符来表示空位（布局如下：[_,1,4,3_ ....等]）。根据我收集的信息，当我通过 noDuplicatesRows 运行 B 时，通配符点在通过其他两个过程之前被赋予了值，这不是我想要的。但是，由于 Prolog 的统一系统，我似乎无法解决这个问题（而且我已经尝试过复制列表！）。

这里有任何答案，还是我会以非常非 Prolog 的方式解决这个问题？

编辑：辅助功能代码

noDuplicatesRows([]).
noDuplicatesRows([H|T]):- usedNumbersRow(H, X), diff(X), !, noDuplicatesRows(T).

usedNumbersRow([], []).
usedNumbersRow([X|Xs], R) :- var(X), validval(X), !, usedNumbersRow(Xs, R).
usedNumbersRow([X|Xs], [X|R]) :- usedNumbersRow(Xs, R).

diff([H]).
diff([H|T]):- not(member(H,T)), diff(T).

Answer 1

这不是一个真正的“答案”，但太长了，无法放在评论中：

“通配符”这个词在这里用处不大。你有变量。它们可以是免费的，也可以被实例化为一个值。没有什么说谓词必须实例化传递给它的所有参数，这就是您使用_ 的原因：表示您不想真正对变量做任何事情。例如：

nothing(_).

传递给此谓词的参数将不会被进一步实例化。或者，换一种说法，无论你给nothing/1 提供什么论据，它都会在它进入时出现。

所以这里真正的问题可能是：程序中的辅助谓词如何处理传递给它们的参数？

无论如何，如果您的目标是解决数独问题，您最终必须实例化所有变量（初始板上未知的字段），以便满足所有约束。

如果您有更具体的问题，帮助您解决所面临的问题会更容易。

编辑：

_ 不会转到您正在调用的谓词。它只在它出现的谓词从句的上下文中很重要。在您的情况下，可能是 validval(X) 实例化变量（同样，我不知道它的作用！）