Trouver MGU pour une expression symétrique

Question

Compte tenu de cette paire d'expressions, est-il possible de trouver un MGU pour cela?

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

Je voulais dire que c'est possible, quand X / Y, mais je n'étais pas sûr que c'est légal. Que dis-tu les gars?

merci!

Answer 1

Oui, ces termes peuvent être facilement unifiés, produisant l'affirmation X= Y comme effet secondaire.