core.logic with Len Weincer.

core.logic is a logic programming library for Clojure & ClojureScript. core.logic offers Prolog-like relational programming, constraint logic programming, and nominal logic programming for Clojure.

Len Weincer is founder of CloudAfrica, and host on the ZADev Podcast. All round smart and funny guy.