IF/Prolog V5.x for UNIX

MINERVA superseeded IF/Prolog. Please see http://www.ifcomputer.co.jp/MINERVA for details.

We discontinued to sell IF/Prolog Dec 31. 2003. For current customers, we continue to provide professional support for IF/Prolog until Dec 31, 2008.

Here special features of IF/Prolog for UNIX are explained. For features commonly available on all plat- forms, please see "IF/PrologV5.x Overview".

Graphical User Interface

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.

Graphic Programming Interfaces (optional)

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.

Database Interfaces (optional)

Several leading commercial database systems can be directly accessed from IF/Prolog in conjunction with the following two database interface options:

The General SQL Interface: a general purpose SQL interface, enabling IF/Prolog to be coupled with SQL databases like Oracle, Informix and INGRES. The interface, which is also delivered as source-code, can be tailored to interact with other SQL compatible database systems.

The Informix Interface: a comprehensive interface to the Informix database system provides kernel level access to one of the leading commercial databases.

System Requirements

The IF/Prolog system requires at least 32 MB of main memory and approx. 20 MB of free disk space. The optional interfaces will require additional main memory and disk space, notably for graphical interfaces. Additional standard shared libraries will be required in conjunction with IF/Prolog.

Up read on...