4 ms·MicroKanren: A Minimal Functional Core for Relational Programming (2013) [pdf]4 points by logicprog 7y ago