如何解决DCG：零次或多次，零次或一次，一次或多次出现？
在 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) ; [].
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
