Trinc-Prolog contains a debugger to help find errors in Prolog programs. The debugger has two types of breakpoints, a breakpoint on a line in a source file and a breakpoint on a Prolog predicate.
It is possible to create line breakpoints in a program to stop the execution of it at a certain point. This type of breakpoint can be added by:
| |
To remove a line breakpoint click with the left mouse button on the red dot in the gutter area.
 |
A line breakpoint will have Trinc-Prolog stop at that line each time it encounters it.
To open the Breakpoints window:
 |
It is also possible to set a breakpoint on all Prolog predicates with a specific name and number of arguments. For instance: a breakpoint on all predicates with the name 'test_predicate' and 2 parameters. To do this open the breakpoint window and press the button 'New'. A dialog window will appear in which the name, number of arguments and the state to stop the Prolog inference engine can be entered.
 |