ボディ・ユニフィケーションで, 既に値の決まっている変数の値 をまた決めようとしたら?

既に決まっている値と同じ値なら, 何もしなかったのと同じになる. 違う値 にしようとしたのなら, ユニフィケーションの失敗になり, やはり異常終了に なる.