prolog - DCG : zero-or-more, 零次或一次，一次或多次出现？

Question

在 DCG 中，您如何实现:零次或多次、零次或一次、一次或多次出现？
我在伪代码中谈论以下内容:

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

Answer 1

您使用谓词的子句集提供的或非确定性(或者，在这种情况下，同一 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) ; [].