clojurebot core.logic inference