対称式のMGUを見つける

Question

この式のペアを考えると、MGUを見つけることができますか？

1. f（x、y）
2. f（y、x）

x / yのときは可能であると言いたかったが、それが合法的であるかどうかわからなかった。 あなたは何を言っていますか？

ありがとう！

Answer 1

はい、これらの用語を簡単に統一することができ、副作用としてアサーションX= Yを生成することができます。