Encontrando MGU para expressão simétrica

Question

Dado este par de expressões, é possível encontrar um MGU para isso?

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

Eu queria dizer que é possível, quando x / y, mas eu não tinha certeza se isso é legal. O que vocês dizem?

Obrigado!

Answer 1

Sim, estes termos podem ser facilmente unificados, produzindo a afirmação x= y como um efeito colateral.