prolog - Prolog 句子可以有歧义吗？

Question

Prolog 句子是否有可能模棱两可，你能给我举个例子吗？

我知道解析器可能会产生歧义，它们可以生成两个不同的解析树......

Answer 1

不，Prolog 形式上没有歧义，但它提供了一个句法特征，可能导致程序难以理解，即 op/3 声明。正如您在文档中所读到的

Applications must be careful with (re-)defining operators because changing operators may cause (other) files to be interpreted differently.

这就像类固醇上的 C++ 运算符重载，以及定义新运算符(或重新定义系统已知的一些运算符)的能力，在对 DSL(域特定语言)进行编程时非常有值(value)。参见例如 library( clpfd ) 或 lambda .

与历史相关的是点运算符。它的主要用途是作为子句终止符，但较旧的 Prolog 将其用作“list cons”。 Here是我对这个话题的回答。注意初始声明

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

允许紧凑的定义(例如)

seek_call(A.As, _.Ms, B.As, V) :-
    nonvar(A),
    A =.. F.FAs,
    seek_call(FAs, Ms, FBs, V),
    !, B =.. F.FBs.

它相当于

seek_call([A|As], [_|Ms], [B|As], V) :-
    nonvar(A),
    A =.. [F|FAs],
    seek_call(FAs, Ms, FBs, V),
    !, B =.. [F|FBs].