[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.

[Wikipedia]