前掲のインバータのプログラムの中の `` In = 0'' や `` Out =
1'' のような, 等号 (``='') の両辺に値を書いた形のゴールを
ユニフィケーション (unification) と呼ぶ. 等号を用いているように, こ
れは両辺の値が等しいという意味だが, 縦棒の左のガードにある `` =''
は条件指定, 右のボディにある `` ='' は値の決定と, 同じ記号でも出
てくる場所で意味が違う. C 言語ならそれぞれ `` =='' と ``
='' にあたるようなものである.