This module contains predicates for retrieving information about Prolog frames for debugging purposes. A Prolog frame is a runtime artifact that encapsulates the execution of a single goal.

Each frame has a unique temporarly ID represented as an integer. The predicates in this module generally take a frame ID as their first argument and unify their second argument with information about the denoted frame which is relevant for debugging purposes.

See also

- prolog_frame_attribute/3

- da_frame_stack/2

 da_hidden_frame(+Frame) is semidet

True when Frame ought to be hidden during debugging.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 da_frame_stack(Arg1, Arg2, Arg3)

 da_frame_parent(Arg1, Arg2)

 da_frame_clause(Arg1, Arg2)

 da_frame_predicate_indicator(Arg1, Arg2)

 da_alternative(Arg1, Arg2)

 da_frame_alternative_frame(Arg1, Arg2)

 da_frame_parent_pc(Arg1, Arg2)

 da_frame_pc_stack(Arg1, Arg2, Arg3, Arg4)

 da_frame_pc_source_span(Arg1, Arg2, Arg3)

 da_frame_clause_source_span(Arg1, Arg2)

 da_frame_port_source_span(Arg1, Arg2, Arg3)

 da_frame_scopes(Arg1, Arg2, Arg3, Arg4)

 da_frame_evaluate(Arg1, Arg2, Arg3, Arg4)

 da_frame_variables_mapping(Arg1, Arg2)

 da_referenced_variables(Arg1, Arg2)

 da_frame_step_in_targets(Arg1, Arg2, Arg3, Arg4)