找到MGU进行对称表达

Question

给出这对表达式，是否可以为它找到MGU？

1. F（X，Y）
2. F（Y，X）

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

谢谢！

Answer 1

是的，这些术语可以轻松统一，产生断言x = y作为副作用。