- Reference manual
:- use_module(library(settings)).(can be autoloaded)
If a second declaration for a setting is encountered, it is ignored if Type and Default are the same. Otherwise a permission_error is raised.
|Name||Name of the setting (an atom)|
|Type||Type for setting. One of |
|Default||Default value for the setting.|
|Comment||Atom containing a (short) descriptive note.|