Question

我有这段代码：

set_value(X,Value,[X/_|T],[X/Value|T]).
set_value(X,Value,[Y/V|T],[Y/V|NewT):- X\=Y,set_value(X,Value,T,NewT).
set_value(X,Value,[],[X/Value]).

但我无法弄清楚做什么/做什么。看起来它配对变量，但我不是100％肯定。它绝对不是除法运算符。感谢。

Answer 1

它不会做任何事情;正如你已经想到的那样，它在这里被用来构造对。

由于/未发生在is的右侧或执行算术评估的其他地方，因此Prolog只生成带有/的双参数项算子。使用/因为它可以写成中缀; -也是通用对构造函数的流行选择。