構造データのユニフィケーション

ここまででは, アトミックなデータ同士のユニフィケーションしか出てこなかっ たが, 構造を持つデータ同士もユニフィケーションできる.

• ガード・ユニフィケーション
• ボディ・ユニフィケーション