Callable Properties

Callable properties can be accessed via the system predicates callable_property/2 and updated copies of callables can be obtained via the predicates set_callable_property/3 and reset_callable_property/3. The following callable properties are supported by the Jekejeke Prolog development environment:
source_file: See the module provable section.
line_no: See the module provable section.
sys_context: See the module provable section.
sys_hint: See the module provable section.
sys_fillers: See the module provable section.
sys_raw_variables: See the module stack section.
sys_variable_names: See the module stack section.

Comments