Better to add more confusion now then to get, “why didn’t you tell me this then!”.
There are also different colors for the source code line highlights.
Green
Normal, Success
Red
Failure
Blue
Unification of the head
Yellow
Redo
Magenta
Exception
I actually have an entire state transition diagram based on Overview of the Debugger but it was written using GraphViz dot and PNG files. The dot is used to generate a SVG.
PS
Tried to add FSA as SVG here but Discourse has an upload scanner that filters out HTML image tags by default, so as suggested by @jamesnvc converted it to a PDF and posted a link to it in Gtrace - Example finite-state automaton.
EDIT
See: ADDED: Allow hooking console coloring.
Personal Notes
Debugger Icons are located in SWI-Prolog package xpce
Directory: packages-xpce/prolog/lib/trace/icons/
Icons used in the Call Stack (ref)
| Name | Icon | Description |
|---|---|---|
| deterministic | det.xpm | Red arrow pointing up |
| choicepoint | ndet.xpm | Red arrow with two heads |
| built_in | builtin.xpm | A house |
| foreign | foreign.xpm | Blue letter C |
| dynamic | dynamic.xpm | Black triangle pointing left then red circle |
| undefined | undefined.xpm | Red question mark |
| transparent | meta.xpm | Something with light blue and yellow, maybe a world map |
| user | user.xpm | Smiling face |
Builtin
Determinsitc
Dynamic
Foreign
Meta
Choicepoint or Nondeterministic
Undefined
User
