If you are not familiar with installing software on a Unix machine please read the following additional information. There is an entry for each step in the installation procedure.

1. As a precaution against accidentally overwriting existing files we recommend installing from the /tmp directory.
2. < device > denotes the standard rewind device entry for the device you wish to read from. Device entries usually have names like /dev/tape, dev/rmt0,... If you are unsure about the correct device entry to use, consult your system manuals or ask a colleague responsible for the system maintenance of the machine you are using.

   The IF/Prolog files are written on the tape in standard Unix tar format. Each tarfile contains a number of files which are transferred to a subdirectory on your machine while the tarfile is read. The IF/Prolog delivery tape contains one file (tarfile) for the IF/Prolog development system, one file for every additional interface available (e.g. OSF/Motif interface, Informix Interface, Constraints) plus one file containing the installation scripts.

   You first read the tarfile containing the installation scripts from the tape.
   

   a. Read the contents of the distribution tape.
   

   b. Read all tarfiles on the remote machine.
   

   c. Transfer the tarfiles to the machine where you want to install. You can use rcp (remote copy), ftp in binary mode or any other appropriate tool. Change the current directory ( cd ) to this directory.

3. Extract the installation scripts from the corresponding tarfile.

4. The installation script reads additional files from the medium depending on which part(s) of IF/Prolog you wish to install. If you have installed the files from a remote machine, the installation procedure will simply assume that the relevant tarfiles are already in the PROROOT directory.

5. The installation procedure will ask you a few questions as to where to install IF/Prolog and how to configure the IF/Prolog kernel. You may install any interface you like and have disk space for, but you can only use those interfaces of IF/Prolog for which you have purchased a license. The IF/Prolog kernel automatically generated during installation will include all installed interfaces. You have to execute the script link_prolog if you want to bind a smaller kernel that excludes those interfaces for which you have no license.

   If you are installing from tape, the installation script will suggest an installation directory. If you execute the ./install script as the superuser, this default directory is system dependent. Otherwise, the default directory is the subdirectory prolog in the home directory of the person installing. However, you can install IF/Prolog in any directory you have write access to.

   IF/Prolog will be generated according to the options you chose. You can always generate alternative or additional IF/Prolog kernels with different options at a later time by executing the link_prolog script delivered with the IF/Prolog system.

6. IF/Prolog uses the PROROOT environment variable to dynamically load additional data when needed. The way to set an environment variable depends on the command shell you use. Below we list the commands for the more common shells.

   Korn shell, Bourne shell, or a related shell

   Bourne shell (sh):	      set PROROOT=< directory >
   			      export PROROOT
   Korn shell (ksh):	      typeset -x PROROOT= < directory >
   

   You should add those commands to the file .profile in your home directory. Then those commands will be executed automatically every time you login. Setting the PROROOT environment variable is not necessary when you install IF/Prolog as a superuser and select the system dependent installation directory proposed by the installation script.

   You can always call IF/Prolog with the command $PROROOT/bin/prolog or with the full directory path name. To call it just by prolog, you must add the subdirectory $PROROOT/bin to the PATH environment variable.

   Look in your .profile file for a line
   PATH= < some directories >
   and edit it to include the IF/Prolog installation path:
   PATH=...:$PROROOT/bin:...
   If you cannot find this line, add the lines
   PATH=:$PATH:$PROROOT/bin
   export PATH
   

   C shell or a related shell

   setenv PROROOT < directory >
   You should add this command to the file .login in your home directory. Then this command will be executed automatically every time you login. Setting the PROROOT environment variable is not necessary when you install IF/Prolog as a superuser and select the system dependent installation directory proposed by the installation script.

   You can always call IF/Prolog with the command $PROROOT/bin/prolog
   or with the full directory path name.
   To call it just by prolog ,
   you must add the subdirectory $PROROOT/bin
   to the path or PATH environment variable.
   

   Look in your .login file for a line
   set path = ( < some directories > )
   and edit it to include the IF/Prolog installation path:
   set path = ( ... $PROROOT/bin ...)
   If you cannot find this line, add the line
   set path = ( $PROROOT/bin $path )
   

7. See section Licensing in this guide.

8. IF/Prolog should now display an introductory message and a prompt. Type a simple query, e.g.

   write(hello).

   to ensure your IF/Prolog system works. To leave IF/Prolog, type

   halt.
   

   To run some demos have a look at the PROROOT/DEMOS subdirectories.