対称式のMGUを見つける
-
21-12-2019 - |
質問
この式のペアを考えると、MGUを見つけることができますか?
- f(x、y)
- f(y、x)
x / yのときは可能であると言いたかったが、それが合法的であるかどうかわからなかった。 あなたは何を言っていますか?
ありがとう!
解決
はい、これらの用語を簡単に統一することができ、副作用としてアサーションX= Yを生成することができます。
所属していません StackOverflow
質問
この式のペアを考えると、MGUを見つけることができますか?
x / yのときは可能であると言いたかったが、それが合法的であるかどうかわからなかった。 あなたは何を言っていますか?
ありがとう!
解決
はい、これらの用語を簡単に統一することができ、副作用としてアサーションX= Yを生成することができます。