Prolog：if-then-else文の解析にDCGパーサを使用する方法

Question

"if-then-else"文を解析するためにProlog DCGを使用できますか？もしそうなら、私は特定の "if" then "else"文字列と一致しなければならないとすれば、どのようにそのような文を解析しますか？これが不可能な場合は、私の選択肢は何ですか？

Answer 1

DCGは完全に適しています。しかし、素朴なPrologであるなら、パワーを活用し、実用的なものを実装するために何らかの選択をしなければなりません。 たとえば、可能であれば、DCGをテキストソースに直接適用し、事前のトークナイザは必要ありません。これが適切な場合は、実際のタスクに依存します。それはここで大丈夫だとしましょう。それは、

:- [library(http/dcg_basics)]. 

conditional(if_then_else(Cond, Then, Else)) --> 
    blanks, "if", 
    blanks, bool_expression(Cond), 
    blanks, "then", 
    blanks, statement(Then), 
    blanks, "else", 
    blanks, statement(Else). 

は非常に簡単ではありません。そして、私たちのDCGは、利用可能なヘルパライブラリを使用して、SWI-Prologで実装されるだろうか？

このother answerは、優先順位を考慮して式を解析（および評価）する方法を示しています。ブール演算子で簡単に拡張することができます。ただ優先順位を付けてください。声明は、黙示的に割り当てを許可し、条件付きで再発する。

あなたは同じ性質を持ついくつかの他の生産に「横並び」を表示された場合は、おそらく「空試合の生産 は、いくつかの非効率性を導入する可能性であること、空白 // 0の使用に注意を払う必要があります。

bool_expression // 1、文// 1が定義されている場合は、パーサが呼び出すことができます。

..., 
phrase(conditional(C), " if 1 < 2 then a = 1 else a = 0 "), 
... 

とCは...