This project makes use of the multi-threaded distributed QuProlog system. This enables one to easily build an distributed application in which a Prolog program running on one host has calls in it that are remote queries to Prolog programs running on other hosts. Each running will comprise an interface thread, that accepts the remote queries and forks off a anew thread to evaluate them. The implementation concept and QuProlog are described in the paper: Multi-threading and Message Communication in Qu-Prolog downloadable from here.