I’m interested in using SWI prolog as a knowledge base and reasoning system for an online medical webservice.
Suppose I’m interested in serving multiple queries in parallel:
- can I use a single SWI prolog instance?
- can the knowledge base be efficiently and independently forked – i.e. can I load a very initial large knowledge base, assert a few extra facts for query 1, assert facts for query 2, and have the knowledge bases for query 1 and query 2 be independent and also have the queries execute simultaneously?)
(am happy to get stuck into the C/C++ library)