Here special features of IF/Prolog for UNIX are explained. For features commonly available on all plat- forms, please see "IF/PrologV5.x Overview".
IF/Prolog's OSF/Motif graphical user interface, standard on all UNIX platforms, is a full windows-based development system which features: debugger, tracer, listing and cross-reference tools.
Pull-down menu selection and windows based debugger greatly improves programmer productivity.
The graphical user interface has been extended to incorporate fully the new constraint technology. The debugger and tracer expand upon the traditional four port box debugging model to clearly illustrate the suspension and constraint predicates.
The interactive debugger allows developers to step through source code, both forward and backward, to quickly locate runtime errors. Variable instantiations and parent goals may also be examined to provide a complete picture of the execution.
The on-line hypertext help (below) provides a comprehensive manual at your fingertips.
Graphical development with IF/Prolog is considerably easier than in C as windowing events can be synchronised using the interactive Motif-based debugger. Furthermore, the IF/Prolog code need not be relinked for each test cycle, saving time and effort, as source files may be simply reconsulted.
The following programming interfaces available:
X11-OSF/Motif Interface - the OSF/Motif (V1.2 functionality) interface provides full access to OSF/Motif library routines. A one-to-one correspondence exists between the equivalent C library routine and its Prolog predicate.
| scroll to top |
|