いろんな方法で数独解いてみる(ASP, Prolog編)
Likers
htsign