外部参照オブジェクト X と変数 V

Next: 具体的な実装 Up: 分散ユニフィケーション Previous: コンシューマ外部参照オブジェクト(群) がフックしている変数同士

処理系核は, X がフックしている変数へのポインタを V に書込む. この処理も処理系核の処理だけで完結する.

**Figure 10.10:** 外部参照ポインタが指す参照値の読出し.
$\begin{figure} \setlength{\unitlength}{1.0mm} \begin{center} \begin{picture} (1... ...み, {コンシューマ外部参照オブジェクト}を解放する. } \par\end{center}\end{figure}$

Sekita Daigo
1998-05-18