0

この式のペアが与えられた場合、MGU を見つけることは可能ですか?

  1. f(x,y)
  2. f(y,x)

x/y の場合は可能だと言いたかったのですが、それが合法かどうかはわかりませんでした。あなたたちは何を言いますか？

ありがとう！

4

1 に答える 1

1

はい、これらの用語は簡単に統合でき、副作用として x=y というアサーションが生成されます。

于 2013-11-16T19:34:51.107 に答える