Prolog hat sich in seiner Nische als Programmiersprache für effiziente und elegante Lösungen ganz bestimmter Problemstellungen längst etabliert.

IF/Prolog ist heute eines der best bekannten und meist verwendeten ISO Prolog Systeme im industriellen Einsatz.

Es vereinigt die neuesten Entwicklungen auf dem Gebiet der Künstlichen Intelligenz mit denen des Operations Research zu einer logischen Programmierumgebung. Mit seinen Graphik-Schnittstellen, Schnittstellen zu Java, C/C++ und zu relationalen Datenbanken kann IF/Prolog einfach und elegant in eine große Anzahl industrieller Anwendungen eingebettet werden und gleichzeitig bestehende Informationsquellen und Routinen effizient nutzen.

Das zusätzlich verfügbare Constraint Technologie Packet ermöglicht Constraint Programmierung für besonders effiziente Lösungen komplexer Optimierungsprobleme.