https://github.com/miniKanren/simple-miniKanren
GitHub - miniKanren/simple-miniKanren: Simple miniKanren, with only ==, fresh, and conde. A good...
Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking. - miniKanren/simple-miniKanren
githubminikanrensimplefreshconde
https://www.infoq.com/interviews/byrd-relational-programming-minikanren/
William Byrd on Logic and Relational Programming, miniKanren - InfoQ
William Byrd explains the ideas behind logic programming languages (like Prolog) and relational programming. Also: miniKanren and core.logic, program...
william byrdon logicrelational programmingminikanreninfoq