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.a

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.microsoft.com/research/dtg/davidhov/pap.htm https://web.archive.org/web/20040603192757/research.microsof...