最近インターンのハッサン君に UCLA の教材をもらって論理の勉強をしている。最近やってる Alloy にはバックエンドとして SAT という物が使われていて、その仕組みを知りたいと言ったら教材をくれた。昔 Prolog も作った http://d.hatena.ne.jp/propella/200…