Unification
-----------

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

[(Up)](../../README.md#topics) | _See also: [Logic Programming](../Logic%20Programming/README.md#logic-programming)_

- - - -


### Web resources

[Notes: Unification](http://www.cs.trincoll.edu/~ram/cpsc352/notes/unification.html) ★

_(in [Programming Languages](../Programming%20Languages/README.md#programming-languages))_ [bondi](https://web.archive.org/web/20120118182341/http://bondi.it.uts.edu.au/) ★ [💭](commentary/Chris%20Pressey.md#bondi)


### Repositories

[mrocklin/unification](https://github.com/mrocklin/unification) ★

[parsonsmatt/unification: implementation of the first order logic unification algorithm in Haskell](https://github.com/parsonsmatt/unification) ★

[jozefg/higher-order-unification: A small implementation of higher-order unification](https://github.com/jozefg/higher-order-unification) ★ [💭](commentary/Chris%20Pressey.md#jozefg-higher-order-unification-a-small-implementation-of-higher-order-unification)


### Papers

Unification: A Multidisciplinary Survey (online @ [kevincrawfordknight.github.io](https://kevincrawfordknight.github.io/papers/unification-knight.pdf)) ★ [💭](commentary/Chris%20Pressey.md#unification-a-multidisciplinary-survey)

Correcting a Widespread Error in Unification Algorithms (online @ [norvig.com](https://norvig.com/unify-bug.pdf)) ★ [💭](commentary/Chris%20Pressey.md#correcting-a-widespread-error-in-unification-algorithms)

_(in [Equational Logic](../Equational%20Logic/README.md#equational-logic))_ [Equational logic, unification and term rewriting](https://www2.math.uu.se/~palmgren/tillog/equlogic07.pdf) ★★

_(in [Formal Language](../Formal%20Language/README.md#formal-language))_ [Functional Unification Grammar](https://aclanthology.org/P84-1018.pdf)


### Books

_(in [Linguistics](../Linguistics/README.md#linguistics))_ An Introduction to Unification-based Approaches to Grammar (online @ [dash.harvard.edu](https://dash.harvard.edu/bitstream/handle/1/11576719/shieber-uagf-distrib-130816_0.pdf)) (borrow @ [archive.org](https://archive.org/details/introductiontoun00shie)) ★