[not loaded]
toplevel.pl
version is det
- Print the Prolog banner message and messages registered using version/1.
version(+Message) is det
- Add message to version/0
initialization :Goal
- Runs Goal after loading the file in which this directive appears as well as after restoring a saved state.
initialize
- Run goals registered with
:- initialization(Goal, program).
. Stop with an exception if a goal fails or raises an exception. thread_initialization :Goal
- Run Goal now and everytime a new thread is created.
$initialise is semidet
- Called from PL_initialise() to do the Prolog part of the initialization. If an exception occurs, this is printed and '$initialise' fails.
$toplevel
- Called from PL_toplevel()
$compile
- Toplevel called when invoked with -c option.
$config
- Toplevel when invoked with --dump-runtime-variables
- prolog:repl_loop_hook(+BeginEnd, +BreakLevel) is nondet[multifile]
- Multifile hook that allows acting on starting/stopping the
interactive REPL loop. Called as
forall(prolog:repl_loop_hook(BeginEnd, BreakLevel), true)
prolog
- Run the Prolog toplevel. This is now the same as break/0, which pretends to be in a break-level if there is a parent environment.
$query_loop
- Run the normal Prolog query loop. Note that the query is not
protected by catch/3. Dealing with unhandled exceptions is done
by the C-function
query_loop()
. This ensures that unhandled exceptions are really unhandled (in Prolog). $execute_query(Goal, Bindings, -Truth) is det
- Execute Goal using Bindings.
residual_goals(:NonTerminal)
- Directive that registers NonTerminal as a collector for residual goals.
prolog:residual_goals// is det
- DCG that collects residual goals that are not associated with the answer through attributed variables.
prolog:translate_bindings(+Bindings0, -Bindings, +ResidueVars, +ResidualGoals, -Residuals) is det
- Translate the raw variable bindings resulting from successfully completing a query into a binding list and list of residual goals suitable for human consumption.
Undocumented predicates
The following predicates are exported, but not or incorrectly documented.