分散ユニフィケーション

外部参照オブジェクトに係わるユニフィケーションを 分散ユニフィケーションと呼ぶ. 分散ユニフィケーションは, 外部参照オブジェクトがフックしている変数に 何かのデータがユニファイされると起きる. このユニフィケーションを実行するため処理系核は以下の処理を行う.

1.

変数をデータで書換える.

2.

フックしている外部参照オブジェクトについて unify メソッド を呼び出す (複数のコンシューマ外部参照オブジェクトがフックしている時は, それぞれのコンシューマについて unify メソッド を呼び出す).

3.

unify メソッドを呼びだした結果``失敗''したならば、 generate メソッドを呼びだし、再度単一化処理を行う。

これらの処理の結果として分散ユニフィケーションが行われる. 分散ユニフィケーションの詳細を以下に示す.