Краткое объяснение Core.logic

Я хочу использовать Clojure Core.logic. Тем не менее, я хочу также понять, как это работает. Где-то есть краткое объяснение? (Нравится реализация метациклического оценщика?)

Спасибо!