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)