call Clojure unification from Java