?-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.