JinnIde is the Jinni Prolog IDE Plugin for JEdit. From the Cassandra (pre-) release onwards,
a fully automated installer is available, so installation has now become child's
Should you, for whatever reason, need to install manually, as a guideline, here's
the instructions for the releases before Cassandra:
The manual way
Basically, it assumes the usual
installation required for any other plugin of JEdit. For the installation
of JEdit please lookup JEdit's website
However, a few subtleties may require additional attention. So here are all
the steps involved in the process:
- Copy Jinni Prolog's "jinni.jar" file to JEdit's jar
directory, typically on C:\Program Files\Jedit\jars. If you do not have
Jinni Prolog, you may download it from here
- Copy JinnIde's "JinnIde.jar" file to JEdit's
jar directory, typically to C:\Program Files\Jedit\jars.
- Copy JinnIde's file "catalog" and its associated file "jinni.xml" to
JEdit's mode directory. If you do not want to overwrite your catalog file,
please select the relevant entries from JinnIde's catalog file by searching
for jinni and pasting those entries into your catalog file.
- Copy JinnIde's startup directory to C:\Program Files\Jedit\. If you
do not want to overwrite your startup directory, please copy the file JinnIdeStart.pro,
and the directories proglib, modulelib and classlib to your startup directory.
If you already use these sub directories please copy the files contained
in the directories jinnidoc, proglib, modulelib and classlib into your directories
of the same name.
- Startup JEdit! Select "Jinni Prolog" in the Console's
combo box on the lower left hand side. Now you should see a message in
the Console's text area similar
to the following:
Welcome to Jinni Prolog V.12.3 (prolog mode)
You may also prefer to configure JinnIde according
to the following configuration
- in Step (3) there may be an issue with the file extensions. Depending on
the version of Jinni Prolog, it may be that the file extension .pro is not recognized.
In this case all the files
with the .pro extension need to be renamed by using the .pl extension. Moreover,
the catalog file and jinni.xml need to be modified accordingly.
- Step (4) requires the application of at least the Benedict release of JinnIde.
Earlier releases do not support the macro feature (as many other
important features introduced with Benedict) on which this step relies.
© 2001-2016 Chico Toepfer