| 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.
| 
