I use Prolog in production. :-) I know many people that do too and don't talk about it unless you move in the Prolog world. Here's a stock broker using it htt

I use Prolog in production. :-) I know many people that do too and don't talk about it unless you move in the Prolog world. Here's a stock broker using it https://dtai.cs.kuleuven.be/CHR/files/Elston_SecuritEase.pdf https://dtai.cs.kuleuven.be/CHR/files/Elston_SecuritEase.pdf Java Virtual Machine specifiction is verified using prolog ", implemented the Prolog verifier that formed the basis for the specification in both Java ME and Java SE." https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-0-preface7.html https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-0-pr... Prolog code -> https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-4.html#jvms-4.10 https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-4.ht... https://kylecordes.com/2010/the-prolog-story https://kylecordes.com/2010/the-prolog-story IBM Watson was written in C++ and Prolog