And now there's microKanren, an even more simplified implementation that is "entirely functional and devoid of macros ... [making it] more directly portable tha

And now there's microKanren, an even more simplified implementation that is "entirely functional and devoid of macros ... [making it] more directly portable than that of other miniKanren languages." http://minikanren.org/#microKanrenPaper http://minikanren.org/#microKanrenPaper https://github.com/jasonhemann/microKanren https://github.com/jasonhemann/microKanren