I infoq.com William Byrd on logic and relational programming, miniKanren (2014) 134 points Tomte 5 years ago 28 comments
