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

(infoq.com)

5 points | by tosh 9 hours ago ago