Question

what is the problem of unification​

Answer 1

Answer:

A unification problem is a finite set of equations. A solution or a unifier of such a problem is a substitution θ such that for each pair t, u of the problem, the terms θt and θu have the same normal form.

Explanation:

hope it helps