簡単に言えば、私は EBNF 文法と構文木を持っていますが、それを一次論理で変換する手順があるかどうかはわかりません。
例えば：
DR ::= E and P
P ::= B | (and P)* | (or P)*
B ::= L | P (and L P)
L ::= a
簡単に言えば、私は EBNF 文法と構文木を持っていますが、それを一次論理で変換する手順があるかどうかはわかりません。
例えば：
DR ::= E and P
P ::= B | (and P)* | (or P)*
B ::= L | P (and L P)
L ::= a