Wiki
Clone wikiinf225 / 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
[Alphabetical Index | Tag Index]
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