問題タブ [difference-lists]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票する
2 に答える
92 参照

prolog - Prolog で差分リストを使用して要素を追加する際の問題

この回答でこのPrologコードを見つけました。これは、差分リストを使用してキューを実装しています:

このようなことをすると、期待どおりに機能します。

そして私は得る

Qまた興味深いことに、このスニペットで の値を観察すると、次のようになります。

私は得る:

違いは空のリストになるため、このようにする必要があると思います。したがって、それらは多少同等です。

問題は、コマンドの後です

Q再利用して を作成することはできませんQ__。例:

のバインディングがqueue_last(queue(X, Q, [L|Q0]), L, queue(s(X), Q, Q0)).失敗するためです。

この問題を解決するにはどうすればよいですか? 回避策はありますか?(常に差分リストを使用)