Prolog - 通常の形式で、数式計算のプレフィックス形式を取得するにはどうすればよいですか？

Question

私はプロローグで新しく、私は電卓をプログラムしたいと思います。そのためには、通常の形式（インフィクス形式）で書かれた、与えられた算術式を処理する述語をプログラムして、その接頭辞形式を得るようにする必要があります。 式の要素は、タームがターンリストに入るように、[operator、term1、term2]という形式の3つの要素を持つサブリストにグループ化されます。 解析が定義され、この例のように動作すべきであると呼ばれる述語：

?-parse([1,+,2,*,3],PF). 
PF=[+,1,[*,2,3]] 

Answer 1

あなたは算術式のプレフィックス形を得るために、atom_to_term/3と=../2を使用することができます。 atomic_list_concat/2は入力リストからアトムを作成し、次にatom_to_termは（算術式の中置表現になる）用語を作成します。次に、univ（=..）を使用して、接頭辞表記を再帰的に取得できます。

すなわち：

parse(LExp, PF):- 
    atomic_list_concat(LExp, Exp), 
    atom_to_term(Exp, Term, _), 
    parse1(Term, PF). 

parse1(Term, PF):- 
    Term =.. [PF]. 
parse1(Term, [Op, Left, Right]):- 
    Term =.. [Op, TLeft, TRight], 
    parse1(TLeft, Left), 
    parse1(TRight, Right). 

テストケース：

?- parse([1,+,2,*,3],PF). 
PF = [+, 1, [*, 2, 3]]