Version 10 (modified by ke, 8 years ago) (diff)



A collection of ideas.

  • 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

Tree Features for Logic Programming

  • 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
    • offer option to hide failed branches
    • optionally, autohide failed branches (as necessary to avoid long dotted lines higher up in the tree)

Logic Programming Profiler

  • average time per predicate
  • some kind of automated detection of what predicate fails how early
  • automated comparisons (diff) between runs of different versions of programs
  • graphical plots