prolog, 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. Goal provides the
instantiated query. This hook supersedes
user:expand_answer/2.