Prolog的上下文无关语法？

根据您对翻译和类型2语法的了解，回想一下示例，定义 详情如下:

G = {N, T, S, P} 
T = {x, y, z} 
N = {A, B, C} 
S = A 
P = 
< A> ::= x<B>
< A> ::= x<C> 
< B> ::= x<B> 
< B> ::= y 
< C> ::= x<C> 
< C> ::= z

有人能帮我回答这个问题吗？我不知道如何在prolog中表示这一点，因为网络上的大多数示例都非常不同

---

谢谢

只是一个提示，完成您的作业，为每个产品添加一个子句

'A' --> [x], 'B'.
...

这样测试一下

?- phrase('S', [x,x,x,z], []).

---

没有理由在这里使用

短语/3

。。。代替

短语/2

?- phrase('S', [x,x,x,z], []).