3 ms·
> 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
by vintagedave 3y ago
> 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 https://news.ycombinator.com/item?id=36821871 which leads to https://web.archive.org/web/20030218034509/http://www.research.microsoft.com/research/dtg/davidhov/pap.htm https://web.archive.org/web/20030218034509/http://www.resear... -- very worth reading!
[2] https://news.ycombinator.com/item?id=14046420 https://news.ycombinator.com/item?id=14046420
- marcosdumay 3y agoI 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.