Package tools.rmiserver

Class Summary
JinniPrologServer This is the main class to start up the JinniProlog Server
JinniPrologServerParameters  
JinniRmiImpl This is the implementation of the IJinniEngine for the JinnIde server.
JinniRmiShutdownClient This serves to directly shutdown the JinnIde RMI server for test reasons.
JinniRmiTestClient This is a test client that queries the JinnIde server for testing its reachability and correct functioning