Interview with Ryan Senior (author of the library): http://www.infoq.com/presentations/core-logic