Die wesentlichen Neuerungen von IF/Prolog V5.0B unter UNIX bestehen in der Erweiterung der OSF/Motif Programmierschnittstelle und in Erg?zungen des Constraint Technologie Pakets.
Die neue OSF/Motif Schnittstelle beinhaltet die volle Funktionalit? von OSF/Motif 1.2. auf allen aktuellen OSF/Motif Versionen. In einer ausf?rlichen Umgebung kann direkt von Prolog aus Motif programmiert werden. Der Vorteil von Prolog als Basis gegen?er C oder C++ ist, dass eine Applikation nicht mit jeder ?ersetzung neu gebunden werden muss. Der interaktive Debugger erlaubt die exakte Untersuchung von Motif Programmen.
Die Constraints enthalten nun ein konjunktives und disjunktives freeze im Modul delay constraints. Die ''versp?ete'' Unifikation arbeitet, indem das Resultat erst dann bekannt wird, wenn die Ergebnisse aller Subterme mit Constraint Variablen bekannt sind.
Updates werden automatisch an Wartungskunden verschickt, die die OSF/Motif Programmierschnittstelle oder das Constraint Technologie Paket nutzen.