Prolog：变量名前的“s”代表什么？

Question

作为大学要求的一部分，我正在 Prolog 中编写 Mastermind 求解器（我正在使用 SWI-Prolog）。我以前从未在 Prolog 中编程过，如果我可能没有使用正确的术语，请原谅。

我在增加黑白计数器时遇到问题（表示有多少颜色在正确的位置，有多少在代码中但放错了位置）。

我在网上找到了这个例子（完整代码here）：

determine_blacks([],[],[],[],0).
determine_blacks([Color|Try],[Color|Code],ReducedTry,ReducedCode,s Black) :-
    determine_blacks(Try,Code,ReducedTry,ReducedCode,Black).
determine_blacks([Color1|Try],[Color2|Code],
         [Color1|ReducedTry],[Color2|ReducedCode],Black) :-
    color(_,Color1), color(_,Color2),
    \+(Color1 == Color2),
    determine_blacks(Try,Code,ReducedTry,ReducedCode,Black).

我想知道："s Black" (line2) 中的 's' 代表什么？我注意到如果我删除它，计数器将停止增加。所以我想这以某种方式可以解决问题，但我在文档中找不到它。

如果您能解释一下 '\+' (line7) 应该做什么，我将不胜感激。这段代码对我的水平来说有点太高级了，我正在努力解决它......

Answer 1

s（或任何其他函子，就此而言）本身没有任何内在含义。

通过在 Prolog 代码（和查询）中使用它的方式来获得意义。

---

从您的问题链接到的MASTERMIND.PL 源代码来看，一元前缀运算符s/1 被用于 extend_code/1（第 110 行）、finished/1（第 173 行）、determine_blacks/5（第 231 行）和determine_whites/5（第 247 行）。

s/1 在第 #54 行被定义为一元前缀运算符¹：

:- op(150, fy, s).

所有这一切都允许我们写s s s 0而不是s(s(s(0)))。

在我看来，这没有任何好处。

---

^{脚注 1：有关 Prolog 运算符的更多信息，请阅读this part of the SICStus Prolog manual。}

Answer 2

看起来这是一个更大程序的sn-p。这里的s 通常用于建立或减少递归列表。

您可以看到s 是一种通配符。该语句的想法是查找所有末尾带有Black 的行并附加到现有列表。