miniKanren: Logic Programming in Scheme

HN recommends it as a mind-blowing and fun introduction to logic programming for working programmers.

Dan Friedman and William Byrd demonstrate miniKanren, a logic programming system for Scheme, in an unconference talk. It includes generating programs by running relations in reverse.