| |
Unknown goal
If a goal is encountered for which no match can be found then this option determines the
action to take.
Maximum depth matching
To protect the inference engine from infinite loops in Prolog programs during matching
this option sets a maximum depth for matching incorrect and recursive clauses. This option
is not related to the size of a Prolog program or the number of clauses that can be
called.
Maximum depth converting expression
To protect the inference engine from infinite loops during converting a clause from it's
compiled form to a string a maximum depth is imposed. This option is not related to the
size of a Prolog program or the number of clauses that can be called.
Database view
The database view determines the behavior of the Prolog inference engine
regarding asserted and retracted clauses. If the option 'Immediate update' is chosen
asserted clauses are immediately visible and retracted clauses cannot be used after they
have been retracted. If 'Logical database update' is selected the database view remains
fixed for a goal from the time that the same goal was proven for the first time.
see also: Prolog database views
Enable Last Call Optimization
If this option is checked the Prolog inference engine tries to detect if the last call
optimization can be used or not. If it is not possible to redo a clause then the memory
allocated to proving the clause is removed. This optimization makes a Prolog program
slower but it reduces the required memory.
Only ISO Prolog
If only built-in predicates and operators defined in the ISO Prolog specification may be
used then must this option be turned on. If the option then the compiler does not
correctly compile the OO extensions of Trinc-Prolog.
Use argument indexing
If this option is turned on then Trinc-Prolog attempts to prevent matches that will always
fails because of the current values of the goal for which a match is searched. If this
option is turned the execution speed of Prolog programs will increase.
 |
On start load modules object and win
If this option is checked the modules object.txt and win.txt are loaded during
the start of Trinc-Prolog.
On start load database module
The standard module containing the database classes is loaded during start of
Trinc-Prolog if this option is checked.
File to compile at start
If a file is specified in this field it is automatically compiled when
Trinc-Prolog starts (it is compiled after object.txt and win.txt if the previous option is
checked).
Name startup module
The name that will be given to the user module file in the previous field can be
entered here.
Goal after compiling startup file
A prolog goal can be specified. The entered Prolog goal is executed immediately
after loading the startup module(s).
 |
Log entire session
If this option is checked all the entered goals and the activities of the Prolog
inference engine are written to a log file.
Name logfile
The location of the log file, data written to a log file is appended.
see also: Environment settings window