Is SWI-Prolog being used in domains that requires multi-threading at scale?

Yes. Both commercially and academic (and hobby, I assume). In fact, it is mostly due to commercial involvement that threading is robust and scales well.

People have a rather weird perception about Prolog :frowning: There are many theories why that is. Few of the language properties justify those perceptions. There is a problem with the eco-system, notably being small and one probably can claim it is also old fashioned. This implies that if you want to use it commercially in a responsible way you must make sure to understand the consequences and mitigate problems as far as necessary.

2 Likes