Contents: Applications based on IF/Prolog

• Health Care Support 2001/10/24
• Online Timetabling 2001/10/24
• Network-wide Management 1999/3/25
• Mapping the Human Genome 1999/3/25
• El-Al Aircraft Assignment 1999/3/25
• Network Management 1996/12/16
• Configuring Your Nokia Mobile Phone 1996/12/16
• Kontrolle der Umweltfaktoren eines Flughafens 1996/12/16
• Steel Mill Machine Flow 1996/12/16
• Pension Calculation & Valuation 1996/12/17
• Kundensupport-Center 2001/3/21
• Polymer Design 1996/12/16
• Turbinen-Vibrations-Diagnose 2001/3/21
• Verteiltes Datenbank System 1996/11/29
• Oil Field Risk Analysis 1996/12/16
• FE Mesh Generation System 1997/1/8
• Order Clearing 1996/12/18
• Brillen Design 2001/3/21
• Control for Shield Tunneling 2001/3/21
• COBOL Maintenance 1996/12/20
• Konfiguration von Telefonanlagen 1996/12/5
• IF/Projekte - Fahrplangestaltung eines Hauptbahnhof 2001/3/21
• Stock Evaluation 1996/12/20
• Roll Cutting 2001/3/21
• Power Distribution 1996/12/17
• Optimizing Business Processes 1996/12/10
• Design Computation 1996/12/20
• Gasoline Wholesale 1996/12/18
• Circuit Verification 1996/12/17