Die Firma Hewlett Packard setzt seit 1988 erfolgreich das Expertensystem OCEX (Order Clearing EXpertsystem) zur Kontrolle, Verifizierung und Optimierung eingehender Kundenbestellungen ein. Bei seiner besonders breiten Produktpalette erreicht HP damit eine schnellere Auftragsabwicklung, da Fehler fr vollst
OCEX bekommt eingehende Bestellungen vom elektronischen Bestellsystem von HP. Im Hintergrund oder online k auf Vollst
Basis von OCEX ist eine mit Hilfe von IF/Prolog aufgebaute Wissensbasis, die aus zwei Komponenten besteht - einer globalen, die Informationen enth die f l bei der Verwendung von Prolog bestand darin, die ''Produkt-Fachsprache'' sehr einfach formalisieren und in vom Menschen leicht lesbare Regeln fassen zu k
Die Anbindung an die graphische Benutzeroberfl vorhandene Programm zur Erfassung von Bestellungen wurde C-Schnittstelle von IF/Prolog realisiert. Die Software l Maschinen mit Unix.
Die Siemens Nixdorf AG hat IF/Prolog V5.0 mit Constraint Technologie Paket auf OS/2 freigegeben. Eine DDE-Schnittstelle erm Prolog mit anderen Anwendungspaketen.