Cha*_*aos 4 prolog
我找到另一篇讨论冒号的帖子,但表达看起来并不完全相同. 我看到这个X变量可以作为参数传递,好奇它的作用是什么？
X = x:2
lam*_*y.x 6
没有模块,:是一个中缀函数符号.你可以通过执行来试试这个
?- x:2 =.. X. X = [:, x, 2].
在swi提示.
= ..运算符的一些解释:它是左手边是任意术语"symbol(argument1,argument2,...)"的关系,右边是列表"[symbol,argument1,argument2, ...]".
希望能帮助到你!
归档时间：
12 年，8 月 前
查看次数：
1142 次
最近记录：
11 年 前