A translation of the PyPy prolog jit tutorials from Prolog to Clojure