- argv_untyped_options(+Argv, -RestArgv, -Options) is det[private]
- Generic transformation of long commandline arguments to options.
Each
--Name=Value
is 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.