prolog - Prolog 冒号运算符是什么意思？

Question

我发现另一篇讨论冒号的帖子，但表达式看起来不太一样。
我看到这个 X 变量可以作为参数传递，好奇它的作用是什么？

X = x:2

Answer 1

如果没有模块， : 是一个中缀函数符号。你可以通过执行来试试这个

?- x:2 =.. X.
X = [:, x, 2].

在 swi 提示符下。

=.. 运算符的一些解释：它是一种关系，其中左侧是任意项“symbol(argument1,argument2,...)”，右侧是列表“[symbol,argument1,argument2, ...]”。

希望能帮助到你！