An implementation of microKanren in Typescript.
Jason Hemann, Daniel P. Friedman, William E. Byrd, and Matthew Might. 2016.
A small embedding of logic programming with a simple complete search.
In Proceedings of the 12th Symposium on Dynamic Languages (DLS 2016).
Association for Computing Machinery, New York, NY, USA, 96–107. DOI:https://doi.org/10.1145/2989225.2989230