Examining the Environment Stack

prolog_current_frame( -Frame)

  Unify Frame with an integer providing a reference to the parent of the current local stack frame. A pointer to the current local frame cannot be provided as the predicate succeeds deterministically and therefore its frame is destroyed immediately after succeeding.

prolog_frame_attribute( +Frame, +Key, -Value)

  Obtain information about the local stack frame Frame. Frame is a frame reference as obtained through prolog_current_frame/1, prolog_trace_interception/3 or this predicate. The key values are described in table .

  
Table: Key values of prolog_current_frame/1