結果 : explain unification algorithm with suitable example