Higher-order unification

1. REDIRECT Unification_(computer_science)#Higher-order_unification

{{r with possibilities}}