A Vision for Relational Programming in miniKanren – William E. Byrd | Hacker News Reader