| |
Project file
This read-only edit field displays the absolute path of the project.
Project name
This is the name of the project.
Active module
If a project is run the selected module will be made the active module (then the
proving of the project goal is started).
Goal to prove
The Prolog goal entered in this field is proven if a project is run.
 |
Project file
The complete filename of the project file is displayed in this field, the
filename cannot be changed.
Project name
The name of the project can be entered here.
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 on the Prolog engine indexes the arguments of each predicate and uses
these indexes when searching for a match candidate while proving a goal. In most programs
this option increases the speed of the proving a goal.
see also: Project window Prolog settings window