The latest Read Eval Print Love discusses rules engines! https://leanpub.com/readevalprintlove004/read I'm also interested to learn that Clojure has a unification library in its stdlib.