JinnIde Server Setup

JinnIde is the Jinni Prolog IDE Plugin for JEdit. New with the Cassandra release is the server functionality that allows running one's JinnIde applications independently of JEdit or any other development enviroment. Precisely speaking, JinnIde provides a Java RMI server called the JinnIde server which wraps Jinni Prolog with the JinnIde API.

There are various runtime switches that allow running Jinni Prolog as a server with the desired setup that may be defined through the JinnIde setup dialogue or that may be probed by starting up the server through the JinnIde plugin menu.

The following menu entries are relevant for the JinnIde server:

Reset: does an internal reinitialization of the Jinni Prolog engine
Restart: serves as a stronger kind of reset; it actually stops and startups the Jinni Prolog engine in one go
Server: tick the box to start up the server, untick it to shut it down, which automatically initializes the embedded Jinni Prolog engine.

Furthermore, all the other controls of JinnIde's plugin menu either relate to the Jinni Prolog Server, once it is activated, or to the embedded JinnIde engine (when the Jinni Prolog Server is deactivated). So one may reconsult, consult, renew, switch the engine flavour, document, etc. exactly the same way as with the embedded engine.

One may as well setup the server cross-session-wise i.e. not limited to the current JinnIde session and setup the system rsp. by means of the JinnIde setup dialogue. It also allows managing the JinnIde server as follows:

Server: if this box is ticked, it also means that the Jinni Prolog Server is always automatically available after startup of JEdit, untick it to have always the embedded engine available after startup