William Byrd on logic and relational programming, miniKanren (2014)infoq.com134 pointsTomte5 years ago