• Places
    • Home
    • Graphs
    • Prefixes
  • Admin
    • Users
    • Settings
    • Plugins
    • Statistics
  • Repository
    • Load local file
    • Load from HTTP
    • Load from library
    • Remove triples
    • Clear repository
    • RDF quality heuristics
  • Query
    • YASGUI SPARQL Editor
    • Simple Form
    • SWISH Prolog shell
  • Help
    • Documentation
    • Tutorial
    • Roadmap
    • HTTP Services
  • Login

A.41 library(settings): Setting management
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • The SWI-Prolog library
        • library(settings): Setting management
          • setting/4
          • setting/2
          • set_setting/2
          • restore_setting/1
          • set_setting_default/2
          • load_settings/1
          • load_settings/2
          • save_settings/0
          • save_settings/1
          • current_setting/1
          • setting_property/2
          • list_settings/0
          • list_settings/1
          • convert_setting_text/3
    • Packages
Availability::- use_module(library(settings)).(can be autoloaded)
Source[det]setting(:Name, +Type, +Default, +Comment)
Define a setting. Name denotes the name of the setting, Type its type. Default is the value before it is modified. Default can refer to environment variables and can use arithmetic expressions as defined by eval_default/4.

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 any or a type defined by must_be/2.
Default Default value for the setting.
Comment Atom containing a (short) descriptive note.
ClioPatria (version V3.1.1-40-g9d9e003)