This directory contains an experimental GUI-based interface to
Regulus, developed by Elisabeth Kron and Manny Rayner. 

To be able to use the GUI, you will first need to do the following:

- Set the environment variable SPINSTALLDIR to point to the directory where you
  have SICStus Prolog installed. On most Windows machine, this will be something
  like "C:/Program Files/SICStus Prolog 3.12.5".

- Copy the file $REGULUS/Prolog/default_config_files.pl to $REGULUS/Prolog/config_files.pl
  and edit it to include pointers to the config files you want to be able to use.

- In case the JAR file is not up to date, remake it by doing

  cd $REGULUS/Java
  make clean
  make

  This should take about a minute.  

To start the GUI, do the following:

- Invoke the script $REGULUS/Java/run_prolog.bat.

- Invoke the script $REGULUS/Java/run_java.bat.

An initial version of a tutorial introduction can be found in
$REGULUS/doc/RegulusGUITutorial.pdf.