Predicate Properties

Predicate properties can be accessed via the system predicates predicate_property/2, set_predicate_property/2 and reset_predicate_property/2. The following predicate properties are supported by the Jekejeke Prolog runtime library:
sys_notrace: See the predicate definitions section.
built_in: See the predicate definitions section.
static: See the predicate definitions section.
full_name: See the predicate definitions section.
sys_usage: See the prolog texts section.
multifile: See the prolog texts section.
sys_multifile: See the prolog texts section.
discontiguous: See the prolog texts section.
visible: See the module_system section.
sys_public: See the module_system section.
override: See the module_system section.
meta_predicate: See the meta_predicates section.
sys_meta_predicate: See the meta_predicates section.
meta_function: See the meta_predicates section.
sys_meta_function: See the meta_predicates section.
dynamic: See the dynamic database section.
sys_dynamic: See the dynamic database section.
thread_local: See the dynamic database section.
sys_thread_local: See the dynamic database section.
group_local: See the dynamic database section.
sys_group_local: See the dynamic database section.
virtual: See the special predicates section.
sys_arithmetic: See the special predicates section.

Comments