実行を指定するボディでのユニフィケーションは, 両辺を等しいものにすると いう積極的な操作で, 能動的なユニフィケーション (active unification) と も呼ばれる. 前掲の例の `` Out = 1'' では, まだ値の決まっていなかっ た Out の値を 1 に決めてしまうことによって, 両辺を積極的に等しいものに してしまっているわけである.
