I wonder if it is still the case that the most widely-used Prolog app in the world was the solver for network stack configurations in Windows NT?

https://web.archive.org/web/20040603192757/research.microsof...