给定这对表达式，是否有可能找到它们的MGU？

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

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

谢谢！

回答：

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