MINERVA superseeded IF/Prolog.
Please see
http://www.ifcomputer.co.jp/MINERVA
for details.
We discontinued to sell IF/Prolog Dec 31. 2003.
Dedicated technical support for IF/Prolog ended Dec 31 2008.
This site is maintained as a community service only.
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.
| 
