IF/Prolog V5.0B for UNIX is now released. V5.0 fully complies with the ISO Prolog standard. The optional interface to OSF/Motif now supports the full Motif 1.2 widget set and functionality. The optional Constraint Technology Package was extended. Updates to IF/Prolog V5.0B are provided upon request free of charge to maintenance customers. Current licencees without a maintenance contract can purchase individual updates for 30% of the list price of the corresponding development licence. For your convenience please use the request sheet on the back side or send email.
Compared to IF/Prolog V4.1, please note that due to the requirements of the ISO standard full upward source compatibility can not be provided. The release notes list these restrictions.
Compared to V5.0A, the augmented IF/Prolog OSF/Motif programming interface implements the full functionality of OSF/Motif 1.2 on currently vendor supported OSF/Motif versions 1.2 and 2.0. It provides a comprehensive environment to program OSF/Motif based graphical user interfaces directly from IF/Prolog. The system need not be relinked with each compilation cycle, thus saves development time. The interactive Prolog debugger allows to step through the exact operation of Motif programs.
The Constraint Technology Package now implements conjunctive and disjunctive freeze in the 'delay constraints' module. This allows to delay unification until the results of the unification of the sub-terms with their constraint variables are known.