Getting your licence information
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.

First, you should invoke the IF/Prolog system for checking whether the installation was successful.

The IF/Prolog system should come up, but immediately you should get a message "PROLOG license/keyinformation missing". This happens, because your personal key information is not yet in the previously mentioned file Key in the PROROOT directory.

The license will be generated by IF Computer, if you supply the following information:

  1. Your machine identification. You get it by invoking the program

    $PROROOT/bin/machid.exe

    The machine identification is a hexadecimal number.

  2. Your configuration: runtime system or development system with or without additional packages, like constraints.

  3. Your name and company.

You will then get the key from your distributor. Edit the file Key under the PROROOT directory and create a line similar to the example line. This line must not have a comment sign # at the beginning.

Up read on...