Logic Workbench, a Clojure toolkit for propositional and predicate logic