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:
- Your machine identification. You get it by invoking the program
$PROROOT/bin/machid.exe
The machine identification is a hexadecimal number.
- Your configuration: runtime system
or development system with or without additional packages, like constraints.
- 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.
| 
