Examples Stepping through code Starting the debugger from a running Prolog top-level Trapping exceptions