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