[ Development Environment and Global Settings | Reference Manual | Alphabetic Index ]
current_prolog_flag(?Flag, -Value)
Succeeds if the flag Flag has the value Value.
- Flag
- Atom or variable.
- Value
- Variable or term.
Description
A synonym for get_flag/2, for ISO-Prolog compatibility.
Refer to the specification of get_flag/2 for details about each flag.
Note: The iso_strict-version of this predicate only allows access to
the ISO-Prolog-defined flags: bounded, char_conversion, double_quotes,
integer_rounding_function, max_arity, min_integer, max_integer,
unknown, debug.
Modes and Determinism
- current_prolog_flag(-, -) is nondet
- current_prolog_flag(+, -) is nondet
Fail Conditions
Fails if a flag with the given name is not set, or does not exist
Exceptions
- (5) type error
- Flag is neither an atom nor variable.
Examples
?- current_prolog_flag(bounded, false).
Yes
See Also
get_flag / 2, set_flag / 2, set_prolog_flag / 2