Next:
荘園
Up:
メッセージ通信版
Previous:
処理系の構成
基本方式
ここでは、基本的な実装の方式について述べる。
荘園
終了検出
中断検出
外部参照ポインタ
表現形式
ジェネリック・オブジェクトを用いた実現
輸出表
外部参照ポインタの生成
外部参照ポインタの解放
分散ユニフィケーション
外部参照オブジェクトX と具体値 value
ジェネレータ外部参照オブジェクト X と, コンシューマ(群) あるいは中断ゴール (群) がフックした変数 Y
ジェネレータ外部参照オブジェクト 同士 (X, Y)
コンシューマ外部参照オブジェクト(群) がフックしている変数同士
外部参照オブジェクト X と変数 V
具体的な実装
参照値の読出し (dereference)
ループへの対処
ユニフィケーションによるループ
生成
問題点
解決方法
読出し処理によるループ
生成
問題点
解決方法
Sekita Daigo
1998-05-18