Clone wiki

inf225public / glossary / Pattern matching

[Alphabetical Index | Tag Index]

Pattern matching

A technique for comparing (typically algebraic) data structures, where one or both structures may contain variables (sometimes refered to as meta-variables). Upon successful match, variables are bound to the corresponding substructure from the other side. Related to Unification in Prolog, but often more restricted.