私はこの形式に一致するすべてのリストを認識するDCGを構築しようとしています：a^n b^2m c^2m d^n。 s --> []. s --> ad. ad --> a, ad, d. ad --> bc. bc --> b, b, bc, c, c. bc --> []. a --> [a]. b --> [b]. c --> [c]. ： は、私は、次のルールを書かれています リスト[a,
Prologで完全にバランスの取れたツリーを構築する簡単な方法を知っている人はいますか？ これは私が見つけた1つの解決策ですが、誰かがもっと簡単な解決策を知っているのだろうかと思います。 これはかなりシンプルですが、動作の仕組みを正確に把握するのに少し時間がかかりました。 ありがとうございました。 % from given solution
cbal_tree(0, nil) :- !.
c