パーサーの実装

Question

こんにちは私はこのような文法を持つ単純な言語のパーサーを実装しようとしています。

program ::= "program" declarations "begin" statements "end" 
declaration ::= "var" ident "as" type 
type ::= "string" | "int" 

私はどのようにタイプ文法を書いていますか？

program(prog(DECLS, STATS)) --> 
[ 'program' ], declarations(DECLS), 
[ 'begin' ], statements(STATS), [ 'end' ]. 

declaration(decl(IDENT, TYPE)) --> 
[ 'var' ], ident(IDENT), [ 'as' ], type(TYPE). 

Answer 1

type(string) --> ['string']. 
type(int) --> ['int']. 

（実際'が必要とされていない）

あなたは|または;を使用することができますが、それはあなたが見つかった型を返す方法が複雑になります。

Answer 2

文法が不明な場合があります。実際、キーワードが識別子のような他のトークンからどのように分離されるかは定義しません。キーワードから識別子を分離する必要のないプログラミング言語があります。いくつかの空白やレイアウト文字が必要な他のプログラミング言語もあります。

あなたの場合、「varaasint」は有効な宣言ですか？あなたの文法はそれを示唆しています。または、 "var a as int"と書く必要がありますか？

this answer for moreを調べるとよいでしょう。

Answer 3

あなたはstatementsルールが不足しています。

とにかく、DCGの規則はPrologでの単純な構文の砂糖です。次に、好きなPrologの機能を使用できます。あなたは、コンパクトな文法を維持する必要がある場合：

type(type(T)) --> [T], {memberchk(T, [int, string])}. 

中括弧は、文法規則と一般的なプロローグを混在させることができます。

あなたの文法は、あなたの入力を分割して、を捨てて、の空白を破棄した場合にのみ有効です。私はSICStusを使用する上でのルールと文法を変更したときit..Iはただで文法を編集していますテストする

program(prog(DECLS, STATS)) --> 
    s, "program", s, declarations(DECLS), 
    s, "begin", s, statements(STATS), s, "end", s. 

declaration(decl(IDENT, TYPE)) --> 
    "var", s, ident(IDENT), s, "as", s, type(TYPE). 

declarations([D|Ds]) --> declaration(D), declarations(Ds). 
declarations([]) --> []. 

type(type(int)) --> "int". 
type(type(string)) --> "string". 

% skip 1 or more whitespace 
s --> (" " ; "\n"), (s ; []).