変数と KL1 データのユニフィケーションは, KL1 データへのポインタを 変数に書き込むことによって行う. このため変数と外部参照ポインタのユニフィケーションによって ワーカ間に渡るループが生じることがある. 図10.11 にその例を示す.
