A.52 library(settings): Setting management
All Application Manual Name SummaryHelp

Availability::- use_module(library(settings)).(can be autoloaded)
Source[det]setting_property(+Setting, +Property)
[nondet]setting_property(?Setting, ?Property)
Query currently defined settings. Property is one of
comment(-Atom)
type(-Type)
Type of the setting.
default(-Default)
Default value. If this is an expression, it is evaluated.
source(-File:-Line)
Location where the setting is defined.