| Did you know ... | Search Documentation: |
 | Predicate argv_untyped_options/3 |
- 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.