lein new paradigms-of-artificial-intelligence