Prolog如何将DCG规则转换为定句？

Question

我正在研究定语从句语法，但是我有一些问题需要了解Prolog如何将DCG规则转换为定句。 例如，这是一个写为DCG的小语法：

s --> np, vp.

np --> det, n.

vp --> v, np.
vp --> v.

det --> [the].
det --> [a].

n --> [woman].
n --> [man].

v --> [kisses].

如果我提出查询：

?-listing(s).

它回答我：

s(A,C) :- 
     np(A,B),
     vp(B,C).

这是什么意思？ 为什么有两个论点？

另外，“ C”在这里是什么意思：

det(A,B) :-
    'C'(A,the,B).

？

谢谢！

Answer 1

DCG利用称为差异列表的概念。 让我们假设您想进行解析（您也可以使用这些谓词生成列表，但现在暂时忽略它）。

如果您解析一个列表，例如[the,man,kisses,the,woman] 。 您可以将其视为一连串 的词汇 ，我从@Vikramnath Venkatasubramani “借用”了该类比 ，因此功劳归于他/她。 现在，如果我们叫s([the,man,kisses,the,woman],C) 。 C将返回[] 。

发生的情况是，每个谓词将断开零个，一个或多个货车。 因此，这意味着：

s(A,C) :-
    np(A,B),
    vp(B,C).

np/2会断开货车[the,man] ，导致它仍然存储剩余火车B=[kisses,the,woman]的事实。 现在， vp/2将断开所有剩余的货车，从而导致C=[]空火车。

如何实施

让我们考虑部分语法的实现。

s(A,C) :-
    np(A,B),
    vp(B,C).

np(A,B) :-
    det(A,D),
    n(D,B).

vp(B,C) :-
    v(B,E),
    np(E,C).
vp(B,C) :-
    v(B,C).

det([the|W],W).
det([a|W],W).

n([woman|W],W).
n([man|W],W).

v([kisses|W],W).

因此，如前所述，您调用np([the,man,kisses,the,woman],B) ，并且np/2将必须断开构成名词短语的旅行车： [the,man] 。

np/2在回合中叫det/2和n/2 。 现在det/2将断开的判断： the和n/2将断开名词man ，所以，使之更加明确：

np([the,man,kisses,the,woman],[kisses,the,woman]) :-
    det([the,man,kisses,the,woman],[man,kisses,the,woman]),
    n([man,kisses,the,woman],[kisses,the,woman]).

现在det/2不再重定向其职责，它实现为：

det([the|W],W).

现在，如果我们进行模式匹配，这将基于：

det([the,man,kisses,the,woman],[man,kisses,the,woman]).

因此，这表示已断开了the连接。

使用此方法的优点是可以在固定时间内断开连接。 确实，谓词并不知道列表的整个结尾。

此外，它将允许断开一个事实中的多个单词。 例如说，您将名称添加为名词：

n([s,dallapalma|W],W).

在这种情况下， n/2将同时断开两个货车。 其他谓词不需要知道这一点，例如s/2也不必决定在哪一点上将火车在np/2和vp/2之间分开：它使np/2断开与它一样多的货车想要，而vp/2将致力于与火车的其余部分协同工作。