Applications based on IF/Prolog

This is a somewhat random list of applications of IF/Prolog: criteria are that we were aware of them, we found them interesting, and we were allowed to write about them. If you feel that a worthwhile application is missing here please email, call, or throw a URL at us.

Health Care Support

Health Care Support System takes the resultant evaluation of a Health...

Online Timetabling

Online Timetabling for the FH Aalen...

Network-wide Management

Siemens Nixdorf offers with TransView a comprehensive and flexible concept...

Mapping the Human Genome

The Human Genome Center of the Institute of Medical Research of the ...

El-Al Aircraft Assignment

IBM Haifa Research Lab has developed an aircraft assignment system...

Network Management

Lucent Technologies (former AT&T) developped Total Network Management (TNM)...

Configuring Your Nokia Mobile Phone

Nokia Mobile Phones (NMP) is Europes largest and the world's second largest mobile telephone manufacturer. Systematic improvement of NMP's software development processes have been made since 1987. Focus started with software development practices and moved on to quality and software process monitoring, achieving ISO 9001 in 1992. ...

Airport Environment Control

Honeywell Regelsysteme commissioned InterFace Computer of Germany...

Steel Mill Machine Flow

Kawasaki Heavy Industries, Ltd of Japan put a scheduling system...

Pension Calculation & Valuation

Bacon and Woodrow (PFA Systems Ltd), a part of the Woodrow Milliman ...

Customer Support Center

The IF Computer group of companies supports IF/Prolog ...

Polymer Design

Mitsubishi Research Institute has developed an expert system for polymer design....

Turbine Vibration Diagnosis

Verein Deutscher Ingenieure of Germany evaluated diagnosis and maintenance...

distributed databases

Companies often need to share an internal database in distant ...

Oil Field Risk Analysis

Nordic Offshore Systems commissioned a real time expert system to ...

FE Mesh Generation System

Toyota Motor Corporation and Toyota Central R\&D have developed a...

Order Clearing

Hewlett Packard has successfully exploited Prolog technology in a number of ...

Spectacle Design

The optical retail chain Paris Miki deals with tens of thousands ...

Control for Shield Tunneling

Toda Construction Co., Ltd asked TEAC and IF Computer to develop...

COBOL Maintenance

EDPコンサルティング会社であるコンピュータアプリケーション株式会社は、COBOLコードの変更および品質管理のための...

Telephone Configuration

Deutsche Telecom AG in their nationwide phone shops provide advice...

Station Control

Siemens AG R&D cooperated with Deutsche Bahn AG on railway station scheduling...

Stock Evaluation

The Information Systems section of a CPA office registered in Tokyo...

Roll Cutting

Optimal use of goods - here cutting sheets of varying shapes from a large roll of raw material -...

Power Distribution

Korea Electric Power Corporation (KEPCO) has developed an expert ...

Optimizing Business Processes

Promatis Informatik's INCOME product provides you with a versatile ...

Design Computation

To a wide range of industrial application domains, such as camera design,...

Gasoline Wholesale

Keizo Ltd of Japan is a computing services company which used to run...

Circuit Verification

Siemens central R\&D laboratories built a Circuit Verification ...