user, normally not defined. Expand the
result of a successfully executed top-level query. Bindings
is the query
<Name>=<Value> binding list from the
query. ExpandedBindings must be unified with the bindings the
top level should print.
user, normally not defined. Expand the
result of a successfully executed top-level query. Bindings
is the query
<Name>=<Value> binding list from the
query. ExpandedBindings must be unified with the bindings the
top level should print.