parsing - Prolog DCGs 多个功能？

Question

据我了解，在 Prolog 中，您在解析时捕获功能，如下所示:

 foo(feature(X)) --> [X], bar.

这在设计 DCG 时很常见吗？

 foo(featureA(X), featureB(Y)) --> [X], [Y], bar.

Answer 1

DCG 描述了列表和非终结符参数之间的关系。然而，这些论点只是术语。它们可以用来表示特征，但不能直接表示它们。要查看差异，假设您要将一个特征编号与每个节点相关联。在 DCG 中，您现在必须逐个决定如何表示该特征。在一个节点中它是 feature(X, singular)而在另一个节点中，它可能看起来不同。或者您可能决定用列表统一表示所有特征，因此 [nodename=idx,..., numerus=singular,...] .