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.
Die deklarative Sprache Prolog
IF/Prolog f? industrielle Anwendungen
Weites Spektrum unterst?zter Hardware Plattformen
Einhalten von Standards
Constraint Technologie Paket (Optional)
High Level GUI Schnittstelle (Optional)
Direkter Zugriff auf Datenbanken
Flexible C Schnittstelle
Leicht verwendbare Prolog Maschine
Voller Support asiatischer Sprachen
Edinburgh Syntax
Kundenorientierte Lizensierung
Benutzer Support
Individuelles Angebot von Schulung und Beratung
Entwickelt von Siemens AG
Prolog ist eine hoch produktive, deklarative Programmiersprache. Verglichen mit prozeduralen Programmiersprachen wie z.B. Pascal und C, bei denen Programmierer normalerweise mit maschinennahen Konzepten Prozeduren implementieren, arbeiten Prolog Programmierer weniger auf der Implementierungsebene, sondern konzentrieren sich auf die Beschreibung eines Problems. Sie k?nen eine Notation verwenden, die sehr nahe an der konzeptionellen Beschreibung des zu bearbeitenden Wissensgebietes liegt.
Speicherverwaltung wird z.B. automatisch von Prolog erledigt und befreit sie damit von dieser fehlertr?htigen T?igkeit. Anstatt low-lever Pointer zu verwenden arbeiten sie bei Prolog immer mit aussagekr?tigen Namen. Suchen, Mustererkennung und die Suche nach alternativen L?ungen sind im Prolog selbst realisiert. Es bietet damit einen einfachen aber sehr effizienten Problem-L?ungsmechanismus.
IF/Prolog tut noch mehr. Effiziente Datenstrukturen wie bin?e B?me und Hash-Tabellen werden automatisch generiert. Damit bietet Ihnen IF/Prolog den einfach zu verstehenden, linearen Zugang zum Problem und garantiert gleichzeitig h?hste Performanz bei der Ausf?rung.
Das Resultat ist, das Prolog Programme sehr nah den gleichen Weg bei der Probleml?ung verfolgen, wie der Spezialist. Die Programme werden konsistententer, leichter zu lesen und zu warten und sind in k?zerer Zeit von der Idee zum produktiven Einsatz fertiggestellt.
Die leichte Beherrschbarkeit von Prolog erlaubt es, Teill?ungen eines Problems in k?zester Zeit zu realisieren. Vorteil ist weiterhin, dass mit Prolog ein sogenanntes inkrementelles Prototyping m?lich ist, d.h. aus diesen Teilen das Zielsystem durch st?dige Verfeinerung top-down programmiert werden kann.
Inkrementelles Prototyping mit Prolog vermeidet, dass Sie nach Erstellen eines Prototypen wieder von vorn beginnen, das Zielsystem zu implementieren. Das spart Entwicklungszeit und erlaubt kontinuierliches Feedback durch den Benutzer, was in die weitere Entwicklung einfliessen kann. Die Benutzerakzeptanz, als einer der wesentlichsten Punkte f? die Beurteilung des Erfolges eines Projektes, wird signifikant erh?t.
Zusammenfassend ist Prolog die Programmiersprache Ihrer Wahl, die Ihnen die Flexibilit? und Genauigkeit eines ausgereiften Programmierwerkzeuges gibt, Sie aber gleichzeitig davor bewahrt, sich mit low level Maschinen-Konzepten zu besch?tigen. IF/Prolog erh?t die Produktivit? Ihrer Programmierer und bietet gleichzeitig eine hervorragende Performanz bei der Ausf?rung der Programme.
IF/Prolog ist ein anspruchsvolles Prolog, das f? Projekte in Forschung und Industrie geeignet ist. Weltweit finden Sie IF/Prolog im t?lichen Leben in vielen Anwendungen, in Expertensystemen und "traditionellen" Programmen. Firmen setzen IF/Prolog f? ihre anspruchsvollen Probleme ein oder auch nur, um ihren Programmierern Bequemlichkeit bei gleichzeitiger hoher Produktivit? bei Verwendung einer Programmiersprache zu gew?ren.
Zum Beispiel entwickelte IF Computer Japan als Auftrag der TODA Construction
Co. Ltd. ein zentrales Prozess-Konrtollsystem f? die Untertunnelung von Gew?sern in Tokyo. Das System identifiziert Probleme bei der Bohrung von Tunnels, stellt potentielle Gefahren dar und errechnet Reaktionen im Echtzeitbetrieb.
In Deutschland beauftragte die Post InterFace Computer GmbH ein wissensbasiertes System zur Konfiguration von Telefonanlagen f? die Telefonl?en im ganzen Land zu erstellen. Das System erm?licht es dem Kunden, eine beliebige Telefonanlage mit den f? ihn optimalen Funktionen zu konfigurieren.
Einige andere Beispiele von IF/Prolog basierten Systemen:
-Dynamische Fahrplangestaltung eines Hauptbahnhof
-Monitoring von Oelbohrprozessen
-Turbinen Vibrations-Diagnose
-Metallbearbeitung
-Planung von Roboter Wegen
-Kontrolle der Umweltfaktoren eines Flughafens
-Polymer Design
-Brillen-Design
-ASIC Design Verification
-CAD Daten Konvertierung
-Wartung grosser COBOL-Programme
-Software Kunden-Support
-Risikoanalyse von Lebensversicherungen
-Wertpapierhandel
IF/Prolog ist verf?bar auf PCs, Workstations, Supercomputern, und einigen speziellen Systemen. Durch eine gute Zusammenarbeit mit den Herstellern unterst?zt IF Computer Maschinen oft schon, bevor diese auf den Markt kommen.
Damit erlaubt Ihnen IF/Prolog, sich Ihre Maschine f? Ihre Zwecke auszuw?len und sobald verf?bar auf eine bessere Maschine auszuweichen. Sollten Sie ausserdem eine Probleml?ung planen, die im Laufe der Verwendung in verschiedensten Umgebungen laufen k?nen muss, kann die Einsparung von Portierungskosten allein Ihre Wahl von Prolog rechtfertigen, da die Kompatibilitat bereits von Prolog her sichergestellt ist.
Prozessoren: Alpha, HPPA, MIPS, Pentium,
Power, SPARC, 68K, 88K, andere
Betriebssysteme:
UNIX, AIX, MS-Windows
IF/Prolog V5.0 entspricht dem ISO Prolog Standard, Part1.
Sowohl Siemens AG als auch IF Computer sind in den DIN, JIS und ISO Normungsaussch?sen aktiv.
IF/Prolog wurde in einem hoch-portablen Teil von C programmiert, wobei die Qualit? der ISO 9000 Norm gen?t.
SNI und IF Computer arbeiten mit den anderen Prolog Herstellern in der Prolog Management Group (PMG) eng zusammen.
Das Constraint Technologie Paket er?fnet dem Programmierer eine Probleml?ung durch Argumentation mit Einschr?kungen innerhalb von Prolog. Dadurch k?nen IF/Prolog Applikationen schwierigste kombinatorische Probleme wie z.B. die Allokation von Ressourcen, die dynamische Fahrplangestaltung von Flugzeugen und Z?en, die Produktionsplanung oder die Dienstplangestaltung von Personal l?en.
Die Kombination von Prolog und Constraint Technologie erlaubt es, noch komplexere Operations Research Probleme, die in purem Prolog schwer zu programmieren sind, einfach zu implementieren. Da Constraints den Suchraum verringern, wir die Suche nach L?ungen sehr viel effizienter. Auf der anderen Seite profitiert die Programmierung mit Constraint von der Verwendung von Prolog durch die oben genannten Vorteile im Gegensatz zu wenig etablierten und portierten Spezialsprachen.
Das IF/Prolog Constraint Technologie Paket kann grosse integer und rationale Zahlen, Koroutinen, numerische Constraints, finite Dom?en und boolsche Constraints verarbeiten.
IF/Prolog unter UNIX hat eine Schnittstellen zu OSF/Motif.
Unter Verwendung dieser Schnittstelle k?nen Sie Ihre Entwicklungsarbeit in einer angenehmen, fensterorientierten Umgebung schreiben und diese mit on-line Hilfe, extensiven Programmierhilfen und optischen Kontrollm?lichkeiten beenden.
Weiterhin k?nen Sie graphische Benutzeroberfl?hen f? Ihre Applikation direkt mit Hilfe von Prolog schreiben.
Der Komfort und Nutzen des inkrementellen Entwickelns mit Prolog, der automatischen Speicherverwaltung, der Namen statt Pointer wird Ihnen bei der Arbeit an komplexen dynamischen Datenstrukturen besonders auffallen.
Graphische Entwicklung in Prolog ist wesentlich einfacher als in C oder C++; windowing events k?nen synchronisiert werden, in dem der interactive fensterorientierte Debugger genutzt wird. Der GUI Code muss nicht neu gelinkt werden, sondern der Quellcode kann einfach rekonsultiert werden, was eine betr?htliche Zeitersparnis beim Durchlauf eines Testzyklus bedeutet.
Weitere Information unter:
Schnittstelle zu OSF/Motif
F? weniger intensiven Zugriff k?nen die meisten kommerziellen SQL-Datenbanken direkt ?er IF/Prolog in Verbindung mit einer der folgenden allgemeinen Schnittstellen-Optionen angesprochen werden:
f? UNIX: Relationale Datenbanken (SQL)
(Oracle, Informix, Ingres, etc)
f? Windows : MS Access, etc
?er die DDEML Schnittstelle
Schnittstellen zu SQL Datenbanken werden als Optionen angeboten.
Eine flexible bi-direktionale C und C++ Schnittstelle erm?licht es IF/Prolog, in bestehende Programmpakete eingebettet zu werden, so dass entweder von Prolog aus C Prozeduren aufgerufen werden, oder Prolog las intelligenter server dient.
Der IF/Prolog Kern ist eine state--of--the--art Prolog-Maschine, die Performanz und Speicher-Effizienz bietet.
- Incrementeller optimirender Compiler
- Compiler/Interpreter
- Benutzerfreundlicher Debugger
- Effiziente und flexible Speicherverwaltung
- Pr?ikat-basiertes Modul-Konzept
IF/Prolog Programme und Daten k?nen jede Kombination von single-byte oder multi-byte Zeichen enthalten bzw. ausf?ren. Dadurch k?nen Programme oder Wissensbasen in jeder asiatischen Sprache geschrieben werden, wie z.B. Japanisch, Koreanisch oder Chinesisch.
Unter IF/Prolog kann sowohl mit der strikten ISO Standard Syntax gearbeitet werden, es werden aber auch Pr?ikate der Edingurgh Syntax unterst?zt, die von Public Domain Prolog Programmen oder Bibliotheken benutzt werden.
- Einfache CPU Lizenz --
IF/Prolog wird f? einen Computer (CPU) lizensiert, ohne die Anzahl der Benutzer zu beschr?ken.
- Runtime Lizenzen --
Programmkomponenten, die in IF/Prolog geschrieben sind, k?nen einfach zu lauff?igen Applikationen "gegossen" werden. IF/Prolog beinhaltet ein Werkzeug, um stand-alone Applikationen zu erstellen. Eine besonders g?stige Rabattstaffel f? in-house Entwicklungen und H?dler ist verf?bar.
-
Kostenlose Freeware Distributions-Lizenz --
Mit der kostenlosen IF/Prolog Freeware Distributions-Lizenz k?nen die Entwickler von Freeware Software IF/Prolog Anwendungen ebenfalls als Freeware vertreiben.
IF/Prolog wird auf Datentr?er mit englischer oder japanischer Dokumentation und 6 Monaten Gew?rleistung geliefert.
Die Gew?rleistung beinhaltet Telefon/Fax/e-mail Hotline Support sowie Updates auf neue IF/Prolog Versionen oder auf Nachfrage auf neue Versionen von Betriebssystemen. Ein Wartungsvertrag verl?gert die Pflegezeit Ihrer IF/Prolog Version.
Forschungs- und Mengenrabatte werden gew?rt.
IF Computer bietet Kurse zu den Themen Knowledge Engineering und Prolog vom Anf?ger bis zum Spezialkurs mit einer grossen Anzahl von praktischen Beispielen an. Auch spezielle, auf den Kunden abgestimmte Kurse k?nen angeboten werden. IF/Tutorials.
IF Computer entwirft und realisiert Expertensysteme und andere anspruchsvolle Software Produkte im Kundenauftrag und in Zusammenarbeit mit dem Kunden:
IF/Prolog ist entwickelt von Siemens AG, einem multinationalen
Elektrokonzern mit Hauptsitz in
Deutschland. IF Computer unterh?t Vertriebs- und Supportb?os in
Deutschland, Japan, U.S.A. und Hong Kong.
| 
