小编Xue*_*hao的帖子

我们有正式的语言

G 1 = { V , T , S , P }, where
V = { S , E }
T = { x , y , z }
P = { S->E , E->xE , E->yE , E->z }

我们可以接受七个句子 { xz , xy , xyz , xyxz , z , xxyz , Xyz } 作为格式良好的公式吗？使用 Prolog 验证这一点。

这是我的代码：

s --> e.
e --> [x], e.
e --> [y], e.
e --> [z].

它只能识别 s([z], R)。为什么？

?- s([z], …