William Byrd on logic and relational programming, miniKanren (2014)

Heykuki News

134 points

5 years ago

28 comments

William Byrd on logic and relational programming, miniKanren (2014) | Heykuki News