前言-DCG转换

Question

E -> T是什么意思？ 变量E表示变量T ？

这是链接的代码：

e(TS,R) :- t(TS,R).

谢谢你的帮助

Answer 1

您确定要询问E -> T （如果E然后T ），而不是询问e --> t （小写（感谢潜伏者！）和DCG语法，其中“ DCG”代表“定语从句”）？

因为DCG语法

e --> t.

是别名（如果愿意，可以是快捷方式或语法糖）

e(L1, L2) :- t(L1, L2).

更笼统地说，DCG语法在相关子句的末尾添加了几个参数，在:-运算符的右侧建立了一个链，其中链的开始和结尾是在左侧添加的参数。侧。

所以（举例）

d --> c1, c2, ...., cn.

是的别名

d(L1, Lnp1) :- c1(L1, L2), c2(L2, L3), ..., cn(Ln, Lnp1).