節の選択条件になるガードでのユニフィケーションは, 両辺が等しいことが条 件の一部であることを示すものである. これは単に等しいかどうかを試すだ けなので受動的なユニフィケーション (passive unification) とも呼ばれる. 前掲の例の `` In = 0'' では In が 0 かどうかを調べているわけであ る.
