unification-fd (hackage): Generic functions for single-sorted first-order structural unification (think of programming in Prolog, or of the metavariables in type inference).
Keywords: algebra|algorithms|bsd3|compilers-interpreters|language|library|logic|unification