| Did you know ... | Search Documentation: |
 | Predicate argv_untyped_options/3 |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
- argv_untyped_options(+Argv, -RestArgv, -Options) is det[private]
- Generic transformation of long commandline arguments to options.
Each
--Name=Valueis mapped to Name(Value). Each plain name is mapped to Name(true), unless Name starts withno-, in which case the option is mapped to Name(false). Numeric option values are mapped to Prolog numbers.