A constraint logic system is a system of constraints whose solution needs to satisfy those constraints.

A unifier unifies the constraints without contradictions.

A MGU (Most General Unifier) unifies the constraints without contradictions and has a minimal frontier in the lattice of constraints, a LFP (Least Fixed Point).

If there are multiple solutions, a constraint logic system will attempt to find all MGU constraints.