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

A.31 library(option): Option list processing
All Application Manual Name SummaryHelp

  • Documentation
    • Reference manual
      • The SWI-Prolog library
        • library(option): Option list processing
          • option/2
          • option/3
          • 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[det]option(?Option, +Options, +Default)
Get an Option from Options. If Option does not appear in Options, unify the value with Default. If Option appears multiple times in Options, the first value is used. For example
?- option(max_depth(D), [x(a), max_depth(20)], 10).
D = 20.
?- option(max_depth(D), [x(a)], 10).
D = 10.
Option Term of the form Name(?Value).
Options is a list of Name(Value) or Name=Value or a dict.
ClioPatria (version V3.1.1-51-ga0b30a5)