Here's a related talk on MiniKanren by Dan Freidman and Will Byrd: http://www.youtube.com/watch?v=5Q9x16uIsKA

The bits about generating programs using MiniKanren was truly mind blowing.