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.
Keizo Ltd of Japan is a computing services company which used to run
COBOL batches on mainframes to process sales and other financial data
for their client, a petro-chemical wholesales company serving gas stations
throughout the country.
The processing was shifted to an IF/Prolog based solution custom built by
Keizo under the leadership of Takao Ozaki, owner-manager of Keizo.
According to Ozaki, the choice resulted in a productivity leap:
"Now we build just about everything in Prolog. Things that used to
take a year get done in two weeks".
The system communicates with the point-of-sales equipment via modems
and exploits a backend SQL database from Oracle. The processing
servers are standard UNIX machines by Mitsubishi Electric and
Sun Microsystems.
| 
