よくある論理パズルを、プログラムで解きますバックトラックと ちょっぴり推論それから簡単なDSLで自然言語に近い文法で問題を記述できますそれにしてもHaskellたんはかわいいですね! はすはす!
http://www.nicovideo.jp/watch/sm19780648