So I've investigated two of babel's "exotic species," Haskell and Prolog,
and I've found them not really working -- Haskell, sort of with an
elaborate work-around, Prolog not at all, even though in simple Emacs
modes, they're fine. Maybe they should be taken off the list?

LB