William Byrd on Logic and Relational Programming, miniKanren (2014) | Heykuki News