A logic server write in Clojure