问斜杠(/)在prolog中做什么？
EN

Stack Overflow用户

提问于 2012-04-12 02:15:29

回答 1查看 2.8K关注 0票数 7

我有这样的代码：

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]).

但我搞不懂什么是做什么。它看起来像是成对的变量，但我不能百分之百确定。它肯定不是除法运算符。谢谢。

回答已采纳

发布于 2012-04-12 02:16:09

它不做任何事情；它在这里用来构造对，正如您已经知道的那样。

由于/不会出现在is的右侧或执行算术计算的其他位置，因此Prolog只生成带有两个参数的项，并将/作为函数器。之所以使用/，是因为它可以写成中缀；-也是泛型成对构造函数的流行选择。

票数 10

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/10111625

复制

相似问题

问斜杠(/)在prolog中做什么？EN