prolog - Swi-Prolog 中的冒号 (:) 究竟代表什么？

Question

我无法明确找到 (:) 在prolog中的含义。
在交互模式下，您可以看到以下证据：

?- display(a:b).
:(a,b)
true.

?- display([a,b,c]).
.(a,.(b,.(c,[])))
true.

?- display(a:b:c:[]).
:(a,:(b,:(c,[])))
true.

?- a:b:REST = a:TAIL.
TAIL = b:REST.

引入 (:) 的目的是什么？我在www中找不到任何详细信息。似乎它提供了另一种将递归结构称为列表的语法方式。

我们可以说它是Right-associative，它的优先级数是多少？

:-op(??, xfy, :).

有没有办法列出所有此类隐式函子？

listing(op). %of course this does not work

Answer 1

那是模块限定符，你可以看到它的声明：

?- current_op(X,Y,:).
X = 600,
Y = xfy.

模块是 Prolog 的一个重要扩展，尤其是大型程序所需要的，但未符合 ISO 标准。SWI-Prolog（通常）对此有务实的观点，并实施了一种有用的方法。

OT检查运算符，您会发现此代码段很有用：

oplist :-
    setof((A,C,B), current_op(A,B,C), L),
    maplist(writeln, L).