Hacker News Reader

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

Unbelievable. Often wondered how a prolog friendly os would feel..

The Rust compiler's semantic rules are being recast internally in a prolog style.

http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowe...

>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%20f...

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/

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

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.

Gerrit (the code review tool) uses Prolog internally

* https://gerrit.googlesource.com/prolog-cafe/

Reply on news.ycombinator.com