11.3.74 execution_state/[1,2]   development

Synopsis

execution_state(+Tests)

Tests are satisfied in the current state of the execution.

execution_state(+FocusConditions, +Tests)

Tests are satisfied in the state of the execution pointed to by FocusConditions.

Arguments

FocusConditions

term

:Tests

term

Exceptions

instantiation_error

An argument not instantiated enough.

type_error

An argument not a proper list of callable term.

domain_error

An argument not a proper list of valid conditions and tests.

See Also

Built-in Predicates for Breakpoint Handling, Breakpoint Predicates.