You are now in FULL VIEW

Relational Programming in miniKanren
Recorded at:

by Daniel P. Friedman, William E. Byrd on Oct 31, 2012 |

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.


Daniel P. Friedman is Professor of Computer Science at Indiana University. He is co-author of several Schemer books. William E. Byrd is a Postdoctoral Fellow at the Center for Research in Extreme Scale Technologies (CREST) at Indiana University. He is co-author of The Reasoned Schemer, and co-designer of several declarative languages: miniKanren, Harlan, and Kanor.

Strange Loop is a multi-disciplinary conference that aims to bring together the developers and thinkers building tomorrow's technology in fields such as emerging languages, alternative databases, concurrency, distributed systems, mobile development, and the web. Strange Loop was created in 2009 by software developer Alex Miller and is now run by a team of St. Louis-based friends and developers under Strange Loop LLC, a for-profit but not particularly profitable venture.

General Feedback
Marketing and all content copyright © 2006-2016 C4Media Inc. hosted at Contegix, the best ISP we've ever worked with.
Privacy policy

We notice you're using an ad blocker

We understand why you use ad blockers. However to keep InfoQ free we need your support. InfoQ will not provide your data to third parties without individual opt-in consent. We only work with advertisers relevant to our readers. Please consider whitelisting us.