From InfoQ:
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.
Tagged: #scheme #ruby #jruby #ironruby #email #embedded #presentations #relational #video