2013-03-05 93 views
4

我发现了另一篇讨论冒号的文章,但表达看起来不太一样。
我看到这个X变量可以作为参数传递,好奇它做了什么?Prolog冒号操作符是什么意思?

X = X:2

+1

它只是一个二进制表达式,没有在Prolog表达式中的上下文是没有意义的。 – CapelliC 2013-03-05 06:55:03

回答

6

没有模块,:是一种缀函数符号。你可以通过执行

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

在swi提示符下试试。

= ..操作符的一些解释:左边是一个任意项“符号(参数1,参数2,...)”,右边是列表“[符号,参数1,参数2,...]“。

希望它有帮助!