上下文無關文法到序言？

Question

從您的翻譯和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的規則來表示該語法。測試以下列表：

[x,x,x,z]. 
[x, x, y]. 
[x]. 
[x, y, z]. 
[ ] 

有人可以幫我解決這個問題嗎？我不知道如何在prolog中表示這一點，因爲網上的大多數例子都非常不同！

謝謝！

Answer 1

只是一個提示，完成你的任務增加一項條款，對每個生產

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

測試這樣

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