COMP30026_2025_SM2 Worksheet 5

For each of the following pairs of expressions, either choose a most general unifier (mgu) for them or indicate that they are not unifiable. P(f(a, x, y)) and P(f(a, b, u)) [ Select ] {x→b, y→u, y→...