On: Interpreter for a simple Lisp, Written in Prolog

[segmondy]

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

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-pr... Prolog code -> https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-4.ht...

https://kylecordes.com/2010/the-prolog-story

IBM Watson was written in C++ and Prolog

[jasim → segmondy]

Thanks a ton! I was hoping to hear more about people like you when I wrote that comment.

[agumonkey → segmondy]

how lively is the prolog market ? do they accept semi noobs ? (read more than half of Bratko book)