EBNFをBNFに変換し、それをDCGフォーマットとして使用します。

Question

私のプロジェクトの一環として、EBNFをBNFに変換し、DCGを使用してSWI-PrologのBNFをプログラムする必要があります。次のように

EBNFは以下のとおりです。

program -> int main () { declarations statements } 
declarations -> { declaration } 
declaration -> type identifier [ [digit] ] ; 
type -> int | bool | float | char 
statements -> { statement } 
statement -> ; | block | assignment | if_statement | while_statement 
block -> { statements } 
assignment -> identifier [ [digit] ] = expression ; 
if_statement -> if (expression) statement 
while_statement -> while (expression) statement 
expression -> conjunction { || conjunction } 
conjunction -> equality { && equality } 
equality -> relation [ equ_op relation ] 
equ_op -> == | != 
relation -> addition [ rel_op addition ] 
rel_op -> < | <= | > | >= 
addition -> term { add_op term } 
add_op -> + | - 
term -> factor { mul_op factor } 
mul_op -> * |/| % 
factor -> [ unary_op ] primary 
unary_op -> - | ! 
primary -> identifier [ [digit] ] | literal | (expression) | type ( 
expression) 
literal --> digit | boolean 
identifier -> A | ... | Z 
boolean --> true | false 
digit --> 0 | ... | 9 

私のプログラムは、入力として、ソースファイルを取得し、プログラムが構文的に正しいかではないというメッセージを印刷する必要があります。 私はプロローグの経験がなく、Youtubeのビデオをたくさん見ていて、役に立たないチュートリアルやウェブログを読んでいるので（少なくとも私の経験不足のために私にとっては）、どうやってそれをするのか助けが必要です。誰かありますか？

Answer 1

私はこの質問を解決しました。それは簡単だった：

program --> ["int"], ["main"], ["("], [")"], ["{"], declarations, 
    statements, ["}"]. 
    declarations --> declaration. 
    declarations --> declaration, declarations. 
    declarations --> []. 

    declaration --> type, identifier, [";"]. 
    declaration --> type, identifier, ["["], digit, ["]"], [";"]. 

type --> ["int"]. 
type --> ["bool"]. 
type --> ["float"]. 
type --> ["char"]. 

statements --> statement. 
statements --> statement, statements. 
statements --> []. 

statement --> [";"]. 
statement --> block. 
    statement --> assignment. 
statement --> if_statement. 
statement --> while_statement. 

block --> ["{"], statements, ["}"]. 

assignment --> identifier, ["["], digit, ["]"], ["="], expression, [";"]. 
if_statement --> ["if"], ["("], expression, [")"], statement. 
while_statement --> ["while"], ["("], expression, [")"], statement. 

expression --> conjunction, conjunctions. 
conjunctions --> ["||"], conjunction. 
conjunctions --> ["||"], conjunction, conjunctions. 
conjunctions --> []. 

conjunction --> equality, equalities. 
equalities --> ["&&"], equality. 
equalities --> ["&&"], equality, equalities. 
equalities --> []. 

equality --> relation. 
equality --> relation, equ_op, relation. 

equ_op --> ["=="]. 
equ_op --> ["!="]. 

relation --> addition. 
relation --> addition, rel_op, addition. 

rel_op --> ["<"]. 
rel_op --> ["<="]. 
rel_op --> [">"]. 
rel_op --> [">="]. 

addition --> term, terms. 
terms --> add_op, term. 
terms --> add_op, term, terms. 
terms --> []. 

add_op --> ["+"]. 
add_op --> ["-"]. 

term --> factor, factors. 
factors --> mul_op, factor. 
factors --> mul_op, factor, factors. 
factors --> []. 

mul_op --> ["*"]. 
mul_op --> ["/"]. 
mul_op --> ["%"]. 

factor --> primary. 
factor --> unary_op, primary. 

unary_op --> ["-"]. 
unary_op --> ["!"]. 

primary --> identifier. 
primary --> identifier, ["["], digit, ["]"]. 
primary --> literal. 
primary --> ["("], expression, [")"]. 
primary --> type, ["("], expression, [")"]. 


literal --> digit. 
literal --> boolean. 


identifier --> ["A"]. 
identifier --> ["B"]. 
identifier --> ["C"]. 
identifier --> ["D"]. 
identifier --> ["E"]. 
identifier --> ["F"]. 
identifier --> ["G"]. 
identifier --> ["H"]. 
identifier --> ["I"]. 
identifier --> ["J"]. 
identifier --> ["K"]. 
identifier --> ["L"]. 
identifier --> ["M"]. 
identifier --> ["N"]. 
identifier --> ["O"]. 
identifier --> ["P"]. 
identifier --> ["Q"]. 
identifier --> ["R"]. 
identifier --> ["S"]. 
identifier --> ["T"]. 
identifier --> ["U"]. 
identifier --> ["V"]. 
identifier --> ["W"]. 
identifier --> ["X"]. 
identifier --> ["Y"]. 
identifier --> ["Z"]. 

boolean -->["true"]. 
boolean --> ["false"]. 


digit --> ["0"]. 
digit --> ["1"]. 
digit --> ["2"]. 
digit --> ["3"]. 
digit --> ["4"]. 
digit --> ["5"]. 
digit --> ["6"]. 
digit --> ["7"]. 
digit --> ["8"]. 
digit --> ["9"].