4 ms·Fun with Relational Interpreters in miniKanren2 points by stass 13y agoAwesome and engaging talk on the logic programming language miniKanren by Daniel Friedman and William Byrd.