Artificial intelligence 寻找对称表达式的MGU

给定这对表达式，是否可以为其找到MGU

f（x，y）

f（y，x）

我想说这是可能的，当x/y时，但我不确定这是否合法。 你们怎么说

---

谢谢

是的，这些术语可以很容易地统一起来，产生断言x=y作为副作用。

你说的“x/y”是什么意思？为什么x=y不是mgu？这就是我的意思，但我想知道这是否是一个合法的解决方案，因为在给定的示例中，有两个输入可能不同，在mgu中，两个输入都是相同的。也许我遗漏了一些关于这个主题的东西。为什么它们不同？顺便问一下，这是序言符号还是逻辑符号？i、 例如，x和y是变量还是常数？逻辑符号-当我们看逻辑表达式f（x，y）时，它们是变量，我们不认为x和y是不同的吗？我认为“副作用”对那些从答案中受益的人来说是一个误导性的术语。我更喜欢“结果”或“统一”。