The Quintus Prolog debugger provides a rich set of commands to move between ports (that is, execute your program in a controlled way).