Prolog中的运算符`-->`有什么作用？

Question

什么是-->运营商做的序言，是什么之间的区别:-？

我正在使用 SWI Prolog。

Answer 1

它被用来定义一个DCG（d efinite ç lause ģ rammar），而不是一个正常的谓词规则。有关DCG 规则的非常好的解释，请参阅本教程。

Stack Overflow 上有很多例子。请参阅DCG 标签。

这是一个非常简单的解决方案，同时显示 DCG 和正常谓词。

请注意，您必须使用phrase/2或phrase/3评估 DCG。请务必阅读有关 DCG 的 SWI-Prolog 手册部分。这两个phrase谓词记录在那里。