2 posts were split to a new topic: Is SWI-Prolog being used in domains that requires multi-threading at scale?