A.41 library(settings): Setting management
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(settings)).(can be autoloaded)
Source[det]restore_setting(:Name)
Restore the value of setting Name to its default. Broadcast a change like set_setting/2 if the current value is not the default.
ClioPatria (version V3.1.1-40-g9d9e003)