Introduction to Logic Programming with Clojure

This talk makes me even more excited about core.logic.