If you're interested in learning more about core.logic and miniKanren, then there is a half-day conference collocated with Clojure/West on March 19th in Portland, OR. More information at <a href="http://blog.fogus.me/2013/02/20/confo/" rel="nofollow">http://blog.fogus.me/2013/02/20/confo/</a><p>It's only $50 to attend.
Here's a related talk on MiniKanren by Dan Freidman and Will Byrd: <a href="http://www.youtube.com/watch?v=5Q9x16uIsKA" rel="nofollow">http://www.youtube.com/watch?v=5Q9x16uIsKA</a><p>The bits about generating programs using MiniKanren was truly mind blowing.
In addition to miniKanren, there's actual Kanren. <a href="http://kanren.sourceforge.net/" rel="nofollow">http://kanren.sourceforge.net/</a><p>What Kanren does is show how functional programming and logic programming can be viewed as roughly the same thing.<p>It's interesting that generalized parsing is also more or less like logic programming.<p>So functional programming w/delimited continuations == generalized parsing == logic programming. Sorta.