Module frame

This module also provides accessing thread stack frames via the predicate frame_property/2.

The following predicates for frame properties are provided:

rule_frame(H, B, F):
The predicate succeeds with the user clauses that match H :- B. The predicate also unifies F with the new frame reference for the found clauses.
frame_property(F, P):
The predicate succeeds for the properties P of the clause referenced by F.

The following frame properties are provided:

sys_parent_frame(F):
The property indicates that the stack frame has parent frame F. The property is single valued or can be missing. The property cannot be changed.
sys_call_goal(G):
The property indicates that the stack frame has call goal G. The property is single valued or can be missing. The property cannot be changed.

The following callable properties are provided:

sys_raw_variables(N):
The property indicates in N the raw variables of the clause associated with the callable. The property cannot be changed,
sys_variable_names(N):
The property indicates in N the variable names of the clause associated via the callable. The property cannot be changed.

Kommentare