To run IF/Prolog you should enter licensing information in the file Key in the directory where you installed IF/Prolog. To obtain the licensing information please follow the following procedure:

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:

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

  $PROROOT/bin/machid

  The machine identification is a hexadecimal number.

• 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.