News for hackers. Stuff that matters.

A comment on The Power of Prolog. Parent comment

Re:The Power of Prolog by vintagedave on Tuesday September 12, 2023 @04:39AM (#37478277)
> If anyone has success integrating Prolog in modern software please share

This doesn't directly answer you, but Prolog was used by David Hovell the Windows NT network configuration to enforce consistency [1][2].

I've heard it's been removed since, so doesn't count as "modern". It's a _beautiful_ application of Prolog though.

[1] https://news.ycombinator.com/item?id=36821871 which leads to https://web.archive.org/web/20030218034509/http://www.resear... -- very worth reading! [2] https://news.ycombinator.com/item?id=14046420

[ Parent | on HN ]
Re:The Power of Prolog by marcosdumay on Tuesday September 12, 2023 @10:33AM (#37481942)
I do think that the best way to enforce validation rules is with a logic-paradigm language executed both during compile and run times. That would technically be a dependent type system, but with a bias of allowing runtime verification, instead of trying to prove everything at compile time.
[ Parent | on HN ]