A bootleg video of a talk from Strange Loop 2012.
I do not think the official videos are up yet. For those of us who could not make it to the conference, this is great, even though it was recorded with an iPhone. You can hear Nolen well and see the slides.
The presentation starts with a short review of how to use core.logic before Nolen goes into the implementation details. I still need to spend some time understanding the code myself. core.logic is based on miniKanren, described in The Reasoned Schemer.
Actually, I have just bought a copy of The Little Schemer, the first book in the series of which The Reasoned Schemer is a part. I am trying to catch up on all of these Lisp classics. I will write a review when I am finished, but so far so good.
You may be interested in my LispCast Introduction to Clojure Videos.