| |
Floating hints
If this option is on small windows with a help text appear when the mouse is positioned
over the same control for a couple of seconds.
Tips may be shown during startup
A dialog window with a 'Tip of the day' appears during start of Trinc-Prolog if this
dialog is checked.
Show time for finding a solution
The time it takes to find a solution is displayed on the output window. The
format used for displaying the time is, hours : minutes : seconds : hundredths.
Current language
The current language used for the user interface of Trinc-Prolog can be selected. It is
possible to change the language used by the Trinc-Prolog application. The dialogue shows
the available languages and the current language chosen. By selecting any of the other
choices another language is chosen, the program must however be restarted for the change
to take effect.
Font of Goal Combobox
The font and size of the font used for for entering Prolog goals can be set here.
 |
Use internal editor
The internal text editor of Trinc-Prolog is used if this option is checked.
External editor
Which external editor will be used for opening Prolog source files can be determined by
selecting one of the three options. If the first option is chosen the application
'notepad.exe' is started to view a Prolog source file. If the second option is checked the
application associated with .txt files is used to view Prolog source files. If the last
option is chosen a specific external editor can be selected.
 |
Enable trace after breakpoint
If this option is on then the trace of a Prolog program will be displayed after a
breakpoint was hit.
Get keyboard focus after breakpoint
If this option is checked then Trinc-Prolog retrieves the keyboard focus after a
breakpoint is hit, else not. Trinc-Prolog should not get the keyboard focus if an event
handler for a onFocus event is being debugged.
Show source after breakpoint
Trinc-Prolog shows the line with the breakpoint that was hit if this option is on.
Show trace during Step Over
If this option is on then the steps of the inference engine are displayed while stepping
over source code, else they are not displayed.
Floating hints while stepping through code
The debugger will display the values of variables in floating hints if a program is being
stepped through with the text editor.
Stop on unhanded exception
If an exception is thrown and not handled and this option is on then Trinc-Prolog will
freeze the program just before it is exited so variables can be inspected. If this option
is off the unhandled exception will stop the program immediate.
Display messages for all exceptions
Runtime errors are usually only displayed for unhandled exceptions, if this option is on
then messages are displayed for all exceptions thrown, even the catched exceptions.
Turning this feature one can help debugging a program.
Close streams when program is canceled
If a Prolog program has opened streams for input/output and a program with streams is
being canceled then the streams are automatically closed, if this option is on, else they
remain open. If streams remain open and the same program is run again then exceptions can
be thrown because there are already streams with identical properties.
Displaying of variables values
There are two ways in which variable values can be displayed by the debugger of
Trinc-Prolog. The first way is as valid Prolog, this implies that the a
value of a variable is transformed to a string that can be compiled by the Prolog compiler
again. Single quotes that are necessary are displayed and single and double quote
characters inside atoms are displayed as two single (double) quote characters. The second
way to display a value is as result of a Prolog program. If this option
is on then variable values are displayed as result of being written by a Prolog program,
for instance: single quote characters needed to correctly compile a Prolog atom are not
displayed by the debugger.
Remote debugging
This feature is still experimental and not documented.
see also: Prolog settings window Debugging programs