DCG：零次或多次，零次或一次，一次或多次出现？

编程问答 2022-06-01

问题描述

在 DCG 中，您如何实现：零次或多次、零次或一次、一次或多次出现？

我在用伪代码谈论以下内容：

  sentence --> word+
  float --> int+,['.'],int+
  nilORa --> a? 
  nilORaaaa --> a*

解决方法

您使用谓词的子句集提供的或非确定性（或者，在这种情况下，同一 DCG“非终结符”的 DCG 产生式集合 - DCG 产生式是 Horn 子句的替代表示法）

将应该首先执行的生产移到顶部。例如，要收集至少一个 word，但可能更多，贪婪地：

sentence --> word,sentence.
sentence --> word.

根据语法中确定性的程度，您甚至可以削减：

sentence --> word,!,sentence.
sentence --> word.

与浮点数相同。 digits 至少是一位。我认为库中已经有 digit 的定义：

float --> digits,['.'],digits.

digits --> digit,digits.
digits --> digit.

nilORa 是一个 a -- 或者可能什么都没有：

nilORa --> a.
nilORa --> [].

nilORaaaa 是一个 a 后跟 nilORaaaa —— 或者可能什么都没有：

nilORaaaa --> a,nilORaaaa.
nilORaaaa --> [].

我认为您还应该能够部署 ;：

nilORaaaa --> (a,nilORaaa) ; [].
dcgprologprologrepeatrepeat