Wiki Navigation

A collection of ideas.

General Concepts to Introduce

a central panel listing all step types and provides functions like "fold/unfold all steps of this type"
minimap of (visible part of) tree with square highlighting the currently visible part
function to "bookmark" steps, shown as dots in the minimap
(scroll wheel) zoom

visualizing cuts (possible inspiration: Transparent Prolog Machine)
option to hide failed branches (only show a little red box by default, with the number of failed branches)
set of step status symbols (executing, succeeded, failed, finished, re-executing...) for the color-blind, consistent for all logic programming clients
ideas for clearer visualization of first tree dimension
- visualize choicepoints, e.g. by a square white box reading ";" for disjunction, "C" for different clauses of a predicate, "R" for rules, etc., visible lines from choicepoint to first steps in respective branches
- vertically align redo's with their original calls (and previous redo's) more clearly, connect them with a dotted horizontal line for explicitness
- offer option to hide failed branches
- optionally, autohide failed branches (as necessary to avoid long dotted lines higher up in the tree)
- Left-align parents with children instead of center-aligning so the creation of a new branch does not jumble the topography of the whole tree. Or maybe right-align them. The latter would go together very well with existing edgy lines and have the advantage that failed branches are "pushed out" to the left and leave a straight "line of success" from top to bottom.