https://www.infoq.com/interviews/byrd-relational-programming-minikanren/
William Byrd on Logic and Relational Programming, miniKanren - InfoQ
William Byrd explains the ideas behind logic programming languages (like Prolog) and relational programming. Also: miniKanren and core.logic, program...
william byrdlogicrelationalprogrammingminikanren