Huet's algorithm

Also known as Huet's higher-order unification. This is the canonical page; those names redirect here.

Pairings in the atlas

Flex-rigid pair enumerationspecialistHigher-order unification automated-reasoning

Rivals: other methods for the same problems

Where it sits

automated-reasoning · Search, Constraints & Games