ユニフィケーション

noun

unification

Technical term used in computer science, logic, and linguistics for the process of making two or more expressions identical by substituting variables.

• Prologでは、ユニフィケーションが推すい論ろんの基き本ほんメカニズムです。

  In Prolog, unification is the fundamental mechanism of inference.

• 型かた推すい論ろんアルゴリズムはユニフィケーションを利り用ようして型かたを決けっ定ていする。

  Type inference algorithms use unification to determine types.