Wiki
Clone wikiinf225public / glossary / Unification
[Alphabetical Index | Tag Index]
Unification*
A Pattern matching-like operation, where the goal is to find an assignment of variables so that two terms become equal. Used heavily in Prolog.
Updated