Talk:Unification (computer science)/to do


 * Discuss higher-order unification and various kinds of non-first-order unification.
 * Describe the difference between pattern-matching and unification.