Next:
コンシューマ外部参照オブジェクト(群) がフックしている変数同士
Up:
分散ユニフィケーション
Previous:
ジェネレータ外部参照オブジェクト X と, コンシューマ(群)
ジェネレータ外部参照オブジェクト 同士 (X, Y)
一方のジェネレータ (X とする) の
unify
メソッドを呼び出す. メソッドの実行により, X が指すワーカへ
%unify(X,Y)
が送られ, 「X がフックしている変数」に「Y がフックしている変数へのポインタ」が書込まれ, X は解放される.
Sekita Daigo
1998-05-18