4 ms·
Very nice! Thanks. You might be interested in this paper and code on the implementation of microKanren, a minimal implementation of core miniKanren. The core
by will_byrd 10y ago
Very nice! Thanks.
You might be interested in this paper and code on the implementation of microKanren, a minimal implementation of core miniKanren. The core implementation is under 50 lines of Scheme code.
Jason Hemann and Daniel P. Friedman.
microKanren: A Minimal Functional Core for Relational Programming.
In Proceedings of the 2013 Workshop on Scheme and Functional Programming (Scheme '13), Alexandria, VA, 2013.
http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf
https://github.com/jasonhemann/microKanren https://github.com/jasonhemann/microKanren