Unification
(Up) | See also: Logic Programming
Web resources
(in Programming Languages) bondi ★ 💭
Repositories
parsonsmatt/unification: implementation of the first order logic unification algorithm in Haskell ★
jozefg/higher-order-unification: A small implementation of higher-order unification ★ 💭
Papers
Unification: A Multidisciplinary Survey (online @ kevincrawfordknight.github.io) ★ 💭
Correcting a Widespread Error in Unification Algorithms (online @ norvig.com) ★ 💭
(in Equational Logic) Equational logic, unification and term rewriting ★★
(in Formal Language) Functional Unification Grammar
Books
(in Linguistics) An Introduction to Unification-based Approaches to Grammar (online @ dash.harvard.edu) (borrow @ archive.org) ★