Relational Programming in miniKanren(infoq.com)

1 pointsby absconditusvor 14 Jahren1 comments

http://www.infoq.com/presentations/miniKanren

1 comments

"Daniel P. Friedman and William E. Byrd demonstrate miniKanren, a simplified version of KANREN - a declarative logic programming system with relations embedded in a pure functional subset of Scheme."