?-trace. and ?-notrace. predicates activate ore deactivate the tracing utility.
Alternatively, you may click the buttons in the ribbon: console and ?-trace/notrace.
When activated, the PliX solver stops at each significant step, and wait for a continuation instruction.
Click on the keyboard space or return or . or ; to go to the next step.