- prolog_stack_frame_property(+Frame, ?Property) is nondet
- True when Property is a property of Frame. Frame is an element
of a stack-trace as produced by get_prolog_backtrace/2. Defined
properties are:
- level(Level)
- predicate(PI)
- goal(Term)
- location(File:Line)
- This property is only available if Frame executes a Prolog
clause, the program counter is known and the clause layout
can be retrieved.