3 ms·µKanren: A Minimal Functional Core for Relational Programming (2013) [pdf]25 points by tosh 6mo ago