2006-10-31 Monadでバックトラック。ambや継続に関連して。またOleg氏...行くさきざきで待ち受けているようだ。 http://www.eecs.harvard.edu/~ccshan/logicprog/LogicT-icfp2005.pdf