Trinc-Prolog is an interactive Microsoft Windows application for running and debugging Prolog applications. All the main windows of the Integrated Development Environment (IDE) of Trinc-Prolog are described in this section.
The output window is primarily used for executing goals, debugging and
testing of Prolog programs. It has a combobox at the top of the window in which goals can
be entered that the Prolog engine will attempt to prove. By pressing on the button of the
combobox a history list of commands entered is shown.
The result of proving a goal is displayed in the text window below the combobox, no text
can be entered inside this memo control. At the bottom of the window there is an area in
which status and error messages are displayed.
| |
It is possible to double-click on a message in the list at the bottom of the window, the line that caused the error or warning message is displayed in the text editor.
The meaning of the speedbuttons in the output window is:
 |
This button starts the evaluation of a goal to find the next solution or all solutions. If Trinc-Prolog stops the processing of an active program then this button is replaced by the 'Continue' button. |
 |
After finding a solution or stopping an active Prolog program this button becomes visible, if pressed the Prolog interpreter continues processing. |
 |
If this button is pressed Trinc-Prolog immediately cancels the current Prolog program. |
 |
If this button is pressed Trinc-Prolog starts stepping to
find the first solution. Stepping through a Prolog program means that the interpreter
waits for the user after each single execution step. If this button is pressed and the
first step was successfull then it is replaced by the 'Next Step' button. see also: stepping through a program |
 |
The Prolog interpreter executes the next step. This button
appears when stepping through code is started. see also: stepping through a program |
 |
Display or hide the execution trace of the Prolog inference engine. The execution trace displays all the steps of proving a goal. |
 |
Start replaying a previously recorded test, see also: recording and replaying test scripts |
 |
Start recording of a test, see also: recording and replaying test scripts |
 |
Stop recording of a test, this button is only visible during the recording of a test, see also: recording and replaying test scripts |