Unification
References
- The reasoned schemer 2nd ed.
- Paradigms of Artifical Intelligence Programming
- microKanren with Martelli-Montanari unification (repo)
- Slides from University of Dresden https://www.inf.tu-dresden.de/content/institutes/ki/cl/study/winter09/flp/slides/2.pdf