applicable_assertions(:Call, -AsrGlobL:list, -AsrSuccL:list) is det

For a given Call, AsrGlobL gives the applicable assertions with global properties and AsrSuccL gives the applicable assertions with success properties. This predicate is intended to be used at run-time.

Undocumented predicates

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

 applicable_prop_check(Arg1, Arg2, Arg3)