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