The Baby Paradox in Haskell

Haskellで述語論理の証明系を作った話。大昔、LISPで証明系を作る演習があってProlog並みにバックトラックまで作り込んだのを思い出した。