Published in Donny Winston
Author Donny Winston
Unification is a process of combining partial-information structures. First used in computing for theorem proving, 1 it is used widely for type inference in programming-language compilers and for logic-programming systems. Data unification is described well in this whitepaper by Stonebraker.