我找到另一篇讨论冒号的帖子，但表达看起来并不完全相同 我看到这个X变量可以作为参数传递，好奇它的作用是什么？
X = x：2
答案 0 :(得分：6)
没有模块，：是一个中缀函数符号。你可以通过执行
来试试这个?- x:2 =.. X.
X = [:, x, 2].
在swi提示符下。
对= ..运算符的一些解释：它是左手边是任意术语“symbol（argument1，argument2，...）”的关系，右边是列表“[symbol，argument1] ，argument2，...]“。
希望它有所帮助！