How to start Prolog IV

Prolog IV can only be run from Sparc-stations on IDA's research domain.  To be able to start the system you should first give the command:

 module add /home/tcslab/modules/prog/prolog4

Prolog IV can now be run from a shell by giving the command:

 prolog4

If you want to use the X-windows environment write instead:

 prolog4e

Documentation can be found locally in /home/ulfni/p4.