Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 3 | ||
commonUnifScript.sml | H A D | 25-Jul-2019 | 2 KiB | |
first-order/ | H | 25-Jul-2019 | 11 | |
nominal/ | H | 25-Jul-2019 | 13 | |
ramanaLib.sml | H A D | 25-Jul-2019 | 2.2 KiB | |
README | H A D | 25-Jul-2019 | 344 |
README
1Unification with "triangular substitutions" (i.e. in accumulator-passing 2style), inspired by the Scheme implementation used in miniKanren. 3 4For more details, see the paper: 5(Nominal) Unification by Recursive Descent with Triangular Substitutions 6Ramana Kumar and Michael Norrish 7ITP 2010, pp 51-66 8http://dx.doi.org/10.1007/978-3-642-14052-5_6 9