Question

Consider two clauses P(x, f(x)) and P(f(y), y). What is the result of unification?
Cannot be unified
{x/f(y), y/f(x)}
{x/y}
{x/f(f(x)), y/f(x)}

Answer 1

i think it is incomplete