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.