2011-02-19 Simple Teorem Prover再び Clojure やっとまともに動いた。http://gist.github.com/834831factsで使用した変数記号と同じものを前提で使用したのが失敗の原因。 置換が終わらないのは当然だった。次はVerifierいってみよう!