current_prolog_flag/2
current_prolog_flag(?FlagName, ?Value)
current_prolog_flag(
,
)
same as prolog_flag(FlagName, Value), except that current_prolog_flag(FlagName, Value) type checks FlagName.
prolog_flag(
type_error
domain_error
prolog_flag/2.
prolog_flag/2