The variable binding window shows the current bindings of the variables that appear in source code for the goal being called. This information is displayed in a format similar to that used when Prolog returns to the top level and shows the results of a user-typed goal.
For example, the variable bindings window might show the following:
+---+------------------------------------------------------------+
| - | Quintus Debugger Variable Bindings |
+---+------------------------------------------------------------+
| File Options Window Help |
+----------------------------------------------------------------+
| X = henry | |
| Y = _749 | |
| | |
| | |
+--------------------------------------------------------------+-+
+--------------------------------------------------------------+-+
Unlike the other windows provided by the debugger, the variable bindings window changes its display depending on which frame is being shown in the main debugger window. This allows you to examine the current bindings for the arguments to any ancestor goal. See dbg-sld-anc for more information on the debugger's framing commands.