Intriguingly, Haskell has *three* exponentiation operators to ensure everything is type safe:
miniblog.
Related Posts
Intriguingly, parts of IBM's Watson are written in Prolog! https://softwareengineering.stackexchange.com/a/51137 (I've not encountered other Prolog usage in the wild yet)
