找到mgu进行对称表达

Question

给出了这对表达式，可以找到一个mgu吗？

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

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

谢谢！

Answer 1

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