Installation over a network connection from a remote host
MINERVA superseeded IF/Prolog. Please see http://www.ifcomputer.co.jp/MINERVA for details.

We discontinued to sell IF/Prolog Dec 31. 2003. For current customers, we continue to provide professional support for IF/Prolog until Dec 31, 2008.

  1. cd /tmp
  2. a. tar tvf < device >
    b. tar xvf < device > < tarfile > ...
    < device > denotes the REWIND device entry for the tape drive.
    c. Move the tarfiles to the directory on your local machine where you want to install IF/Prolog.
  3. tar xvf inst.tar
  4. sh ./install tarfiles
  5. Answer the questions the installation script puts to you.
  6. Add the environment variable PROROOT to your environment and add $PROROOT/bin to your command search path.
  7. Enter your IF/Prolog license in the file $PROROOT/Key.
  8. prolog


Up read on...