我有这个代码:
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% 确定。它绝对不是除法运算符。谢谢。
事实并非如此do任何事物;正如您已经想到的,它在这里用于构造对。
自从/
不会出现在右侧is
或者在执行算术评估的另一个地方,Prolog 只是生成两个参数项/
作为函子。/
使用它是因为它可以写成中缀;-
也是通用对构造函数的流行选择。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)