4 ms·

Very nice book. Do you know what companies are using prolog commercially?

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...
jaytaylor 8y ago
Yes Markus does know, and has sprinkled examples throughout the book! One need look no further than the first chapter to find them. One that was new and interesting to me is that gerritcodereview (by Google) is written in Prolog. https://gerrit.googlesource.com/gerrit/+/master/prolog/ https://gerrit.googlesource.com/gerrit/+/master/prolog/
- js2 8y ago
  It's written in Java but embeds prolog as a rules engine for deciding when a change may be submitted. https://gerrit-review.googlesource.com/Documentation/prolog-cookbook.html https://gerrit-review.googlesource.com/Documentation/prolog-...
niklasd 8y ago
I know that Negota Logic uses Prolog for the reasoning in their Legal Tech app (which is mainly written in Java). Since the app itself has a terrible user experience and looks like stuck in a ninties dystopia, there might be better examples.
sorokod 8y ago
Gerrit (the code review tool) uses Prolog internally * https://gerrit.googlesource.com/prolog-cafe/ https://gerrit.googlesource.com/prolog-cafe/

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

jaytaylor 8y ago

Yes Markus does know, and has sprinkled examples throughout the book! One need look no further than the first chapter to find them. One that was new and interesting to me is that gerritcodereview (by Google) is written in Prolog. https://gerrit.googlesource.com/gerrit/+/master/prolog/ https://gerrit.googlesource.com/gerrit/+/master/prolog/

js2 8y ago
It's written in Java but embeds prolog as a rules engine for deciding when a change may be submitted. https://gerrit-review.googlesource.com/Documentation/prolog-cookbook.html https://gerrit-review.googlesource.com/Documentation/prolog-...

niklasd 8y ago

I know that Negota Logic uses Prolog for the reasoning in their Legal Tech app (which is mainly written in Java). Since the app itself has a terrible user experience and looks like stuck in a ninties dystopia, there might be better examples.

sorokod 8y ago

Gerrit (the code review tool) uses Prolog internally * https://gerrit.googlesource.com/prolog-cafe/ https://gerrit.googlesource.com/prolog-cafe/