3 ms·

Thank you for the kind words! Regarding companies that use Prolog, here are a few examples: A third of all airline traffic is handled by systems that run SICS

by triska 8y ago

Thank you for the kind words! Regarding companies that use Prolog, here are a few examples: A third of all airline traffic is handled by systems that run SICStus Prolog: https://www.sics.se/projects/sicstus-prolog-leading-prolog-technology https://www.sics.se/projects/sicstus-prolog-leading-prolog-t... A large portion of the New Zealand stock exchange is powered by Prolog: https://dtai.cs.kuleuven.be/CHR/files/Elston_SecuritEase.pdf https://dtai.cs.kuleuven.be/CHR/files/Elston_SecuritEase.pdf Oracle uses Prolog in the JVM specification: 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... IBM has used Prolog for natural language processing in Watson: https://www.cs.nmsu.edu/ALP/2011/03/natural-language-processing-with-prolog-in-the-ibm-watson-system/ https://www.cs.nmsu.edu/ALP/2011/03/natural-language-process... RedPrairie uses SICStus Prolog for optimization tasks. Prolog is used for voice processing on the International Space Station.

pjmlp 8y ago
Windows NT used to have a Prolog based system for handling interrupts, not sure how much of it is still relevant on W10.
- monocasa 8y ago
  I was pretty sure that it was for configuring network devices.
  - pjmlp 8y ago
    Actually, I think we are both right. http://collaboration.cmc.ec.gc.ca/science/rpn/biblio/ddj/Website/articles/DDJ/1994/9408/9408i/9408i.htm http://collaboration.cmc.ec.gc.ca/science/rpn/biblio/ddj/Web...
    - monocasa 8y ago
      That link just shows a proposed third party IRQ config system for DOS, but wasn't actually shipped in Windows (in addition to the NT networking config).
      - agumonkey 8y ago
        Unbelievable. Often wondered how a prolog friendly os would feel..
sriram_malhar 8y ago
The Rust compiler's semantic rules are being recast internally in a prolog style. http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowering-rust-traits-to-logic/ http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowe...
smitherfield 8y ago
>A third of all airline traffic is handled by systems that run SICStus Prolog But are those systems responsible for all the I.T. problems that are plaguing the industry?[1] (I've been under the impression the issues were primarily with COBOL/mainframe systems, but wasn't aware Prolog was so widely used by airlines). [1] https://www.google.com/search?hl=en&q=airline%20computer%20flights%20grounded https://www.google.com/search?hl=en&q=airline%20computer%20f...

by triska 8y ago

pjmlp 8y ago

Windows NT used to have a Prolog based system for handling interrupts, not sure how much of it is still relevant on W10.

monocasa 8y ago
I was pretty sure that it was for configuring network devices.
- pjmlp 8y ago
  Actually, I think we are both right. http://collaboration.cmc.ec.gc.ca/science/rpn/biblio/ddj/Website/articles/DDJ/1994/9408/9408i/9408i.htm http://collaboration.cmc.ec.gc.ca/science/rpn/biblio/ddj/Web...
  - monocasa 8y ago
    That link just shows a proposed third party IRQ config system for DOS, but wasn't actually shipped in Windows (in addition to the NT networking config).
    - agumonkey 8y ago
      Unbelievable. Often wondered how a prolog friendly os would feel..

sriram_malhar 8y ago

The Rust compiler's semantic rules are being recast internally in a prolog style. http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowering-rust-traits-to-logic/ http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowe...

smitherfield 8y ago

>A third of all airline traffic is handled by systems that run SICStus Prolog But are those systems responsible for all the I.T. problems that are plaguing the industry?[1] (I've been under the impression the issues were primarily with COBOL/mainframe systems, but wasn't aware Prolog was so widely used by airlines). [1] https://www.google.com/search?hl=en&q=airline%20computer%20flights%20grounded https://www.google.com/search?hl=en&q=airline%20computer%20f...