prolog - プロローグする文脈自由文法?

Question

翻訳とタイプ 2 文法に関する知識から、次のように定義された example を思い出してください。

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]. 
[ ] 

誰かがこの質問を手伝ってくれますか? ネット上のほとんどの例は非常に異なるため、プロローグでこれを表現する方法がわかりません!

ありがとう！

Answer 1

ヒントとして、各プロダクションの句を追加して割り当てを完了します

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

この方法でテストします

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