Next: FDBG Annotation, Previous: FDBG Built-In Visualizers, Up: FDBG Basics [Contents][Index]
The Prolog debugger is extended by FDBG. The & debugger is modified, and two new commands are added:
This debugger command is extended so that the annotated form of domain variables is also printed when listing the variables with blocked goals.
Annotates and prints the current goal and a legend of the variables appearing in it. If a selector is specified, then the subterm specified by it is assumed to be an action list, and is taken into account when displaying the legend. For example:
23 2 Exit: clpfd:dispatch_global_fast(no_threat(2,_1001,1),0,0, [exit,_1001 in_set[[3|3]]]) ? A [2,4] clpfd:dispatch_global_fast(no_threat(2,<board_2>,1),0,0, [exit,<board_2> in_set[[3|3]]]) board_2 = 1..4 -> {3} Constraint exited.
Assigns the atom Name to the variable specified by the Selector. For example:
7 15 Call: bar(4, [_101,_102,_103]) ? W foo=[2,#2]
This would assign the name foo
to _102
, being the second
element of the second argument of the current goal.