Of course, you will want to know more than just which predicate is being called or which clause is about to be tried. Other useful information includes the bindings of the variables in the goal being executed, the history of your debugging session, and the ancestors (the call stack) of the current goal. This information is available in separate windows, which you may bring up using the window menu, as described in dbg-sld-men-wme.