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

A.19 library(option): Option list processing
AllApplicationManualNameSummaryHelp

  • Documentation
    • Reference manual
      • The SWI-Prolog library
        • library(option): Option list processing
          • option/3
          • option/2
          • select_option/3
          • select_option/4
          • merge_options/3
          • meta_options/3
          • dict_options/2
    • Packages
Availability::- use_module(library(option)).(can be autoloaded)
Source[semidet]option(?Option, +OptionList, +Default)
Get an Option from OptionList. OptionList can use the Name=Value as well as the Name(Value) convention.
Option Term of the form Name(?Value).
ClioPatria (version V3.1.1-51-ga0b30a5)