4 ms·

I wasn't saying prolog was mostly functionally pure, I was suggesting a (mostly) functional pure language as a 4th choice. Something like Haskell.