ユニフィケーション（単一化） は，論理式や項が一致するように変数への代入を求める操作です。論理型言語では，問い合わせを事実や規則に照合し，推論を進める基礎になります。 オーバーライドは継承したメソッドの実装を派生クラスで置き換える仕組みです。 オーバーロードは同じ名前の操作を引数の型や個数で区別する仕組みです。 メッセージパッシングはオブジェクトやプロセス間でメッセージを渡す仕組みです。