Trinc-Prolog offers a range of different techniques to debug Prolog programs. The simplest technique for debugging is examining the program trace in the output window. The trace shows the steps of proving the Prolog goal and the values of the relevant variables.