Solve the universal computation engine problem in 4clojure.com.