I’m trying to decode what the call stack pane of the graphical debugger is trying to tell me. Consider this example:
I believe that the far left column is the stack and that columns (only one here) to the right of it represent completed goals with open choice points. Three questions about this image:
- It seems like each column on the right also represents a particular rule instance and all open choice points that are clauses from that rule get stacked in the same column too. Is this correct?
- Is there any significance to which side of a box an arrow originates from? I’m surprised, for example, that the arrow from
objectFromName/4originates on the right side of the box and points to the right side of
nameOf/4when it seems like it could have been on the left side of both (just like the arrow from
not/). That’s why I suspected some significance…
- Is there any significance in the gap in the right column between