5.4  Summary

• TkECLⁱPS^e toplevel
• Predicate Browser
• Delayed Goals Viewer
• Tracer
• Tracer Filter
• Term Inspector

5.4.1  TkECLⁱPS^e toplevel

5.4.2  Predicate Browser

5.4.3  Delayed Goals Viewer

5.4.4  Tracer

Options menu options:

Configure filter

Starts the tracer filter window, to allow the filter to be configured.

Change print options

Changes the way the tracelines are printed.

Analyse failure

Get the invocation number of the most recent failure so that a new run of the query can jump to its call port.

Refresh goal stack now

Refreshes the Call Stack’s display.

Refresh goal stack at every trace line

Select check box to allow the call stack to be refreshed automatically every time the tracer stops

Refresh delay goals at every trace line

Select check box to allow the Delayed goals viewer to be automatically refreshed every time the tracer stops.

Raise tracer window at every tracer line

Select check box to allow the tracer window to be raised (uncovered) automatically every time the tracer stops.

5.4.5  Tracer Filter

5.4.6  Term Inspector