Prolog Flags

Prolog flags can be accessed via the system predicates current_prolog_flag/2 and set_prolog_flag/2. The following Prolog flags are supported by the Jekejeke Prolog runtime library:

sys_attached_to: See the user session section.
sys_belongs_to: See the user session section.
sys_break_level: See the user session section.
sys_choice_point: See the optimization techniques section
sys_body_variable: See the optimization techniques section
sys_stack_frame: See the optimization techniques section
sys_head_variable: See the optimization techniques section.
sys_clause_index: See the clause_indexing section
sys_last_pred: See the prolog texts section.
sys_timeout: See the prolog texts section.
verbose: See the prolog texts section.
sys_body_convert: See the body conversion section.
style_check: See the body conversion section.
sys_clause_expand: See the meta_predicates section.
bounded: See the arithmetic domains section.
integer_rounding_function: See the rounding operations section.
max_arity: See the building and unification section.
max_code: See the string predicates section.
base_url: See the path resolution section.
dialect: See the interpreter state section.
sys_act_status: See the capability plug-ins section.

Comments