4.37 User Top-level Manipulation
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Built-in Predicates
User Top-level Manipulation
break/0
abort/0
halt/0
halt/1
prolog/0
expand_query/4
expand_answer/2
Packages
expand_answer
(
+Bindings, -ExpandedBindings
)
Hook in module
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.