問題タブ [warren-abstract-machine]
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.
prolog - WAM Prolog にはシンボル テーブルがありますか?
Prolog の WAM 実装を C でプログラミングしようとしています。Prolog データ型が、REF、STR、CON、および LIS の 4 つのトークン タイプだけで記述されていることに気付きました。
実行ヒープ内の各セルには、トークンのタイプとヒープ内での位置が含まれています。
実際の名前 (つまり、Z、W) への言及がないことに注意してください。ヒープは、シンボル テーブル内のシンボルとその値を指すべきではありませんか? 純粋なプロローグの実装にシンボル テーブルはありますか? パーサーはシンボル テーブルを作成するか、ヒープを構築しますか? WAM A チュートリアルの実装では、そのことについては何も言及されていません。