Trovare MGU per espressione simmetrica

Question

Dato questo paio di espressioni, è possibile trovare un MGU per questo?

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

Volevo dire che è possibile, quando x / y, ma non ero sicuro se è legale. Cosa dicono?

Grazie!

Answer 1

Sì, questi termini possono essere facilmente unificati, producendo l'asserzione x= y come effetto collaterale.